A Rewriting semantics for Maude strategies
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Año de publicación: 2008
Páginas: 207-226
Tipo: Aportación congreso