Modelling implementations as institution morphisms

• Autores: Carlos Domínguez, Laureano Lambán Pardo , Víctor Pascual Ayats, Juan Rubio Alonso
• Localización: Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 229-240
• Idioma: inglés
• Texto completo no disponible (Saber más ...)