Modelling implementations as institution morphisms

  1. Domínguez, Carlos
  2. Lambán Pardo, Laureano
  3. Pascual Ayats, Víctor
  4. Rubio Alonso, Juan
Liburua:
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
  1. Orejas Valdés, Fernando (ed. lit.)
  2. Cuartero Gómez, Fernando (ed. lit.)
  3. Cazorla López, Diego (ed. lit.)

Argitaletxea: Universidad de Castilla-La Mancha

Argitalpen urtea: 2001

Orrialdeak: 229-240

Biltzarra: Jornadas sobre Programación y Lenguajes (1. 2001. Almagro)

Mota: Biltzar ekarpena