Modelling implementations as institution morphisms
- Domínguez, Carlos
- Lambán Pardo, Laureano
- Pascual Ayats, Víctor
- Rubio Alonso, Juan
- Orejas Valdés, Fernando (ed. lit.)
- Cuartero Gómez, Fernando (ed. lit.)
- Cazorla López, Diego (ed. lit.)
Verlag: Universidad de Castilla-La Mancha
Datum der Publikation: 2001
Seiten: 229-240
Kongress: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro)
Art: Konferenz-Beitrag