Skip to Content Skip to Navigation

Over ons Praktische zaken Waar vindt u ons J.C. (Juan ) Jaramillo Londoño

J.C. (Juan ) Jaramillo Londoño

PhD student

Profielfoto van J.C. (Juan ) Jaramillo Londoño

Faculteit Science and Engineering

Telefoon:

E-mail:

j.c.jaramillo.londono rug.nl

Research Portal

Publicaties

Session-based concurrency in Maude: Executable semantics and type checking

Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., jun.-2023, In: The Journal of Logical and Algebraic Methods in Programming. 133, 100872.

Onderzoeksoutput › › peer review

Alle (1) publicaties

Bekijk volledig onderzoeksprofiel

Volg de RUGfacebook twitter linkedin rss instagram youtube