Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Juan
Rubio Alonso
Publicaciones en las que colabora con Juan Rubio Alonso (1)
2001
-
Modelling implementations as institution morphisms
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001