Towards a strategy language for Maude
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
ISSN: 1571-0661
Año de publicación: 2005
Volumen: 117
Número: SPEC. ISS.
Páginas: 417-441
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2005
Volumen: 117
Número: SPEC. ISS.
Páginas: 417-441
Tipo: Aportación congreso