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.)
Editorial: Universidad de Castilla-La Mancha
Any de publicació: 2001
Pàgines: 229-240
Congrés: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro)
Tipus: Aportació congrés