Towards a strategy language for Maude
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 117
Zenbakia: SPEC. ISS.
Orrialdeak: 417-441
Mota: Biltzar ekarpena
ISSN: 1571-0661
Argitalpen urtea: 2005
Alea: 117
Zenbakia: SPEC. ISS.
Orrialdeak: 417-441
Mota: Biltzar ekarpena