A Rewriting Semantics for Maude Strategies
- Martí-Oliet, N.
- Meseguer, J.
- Verdejo, A.
ISSN: 1571-0661
Année de publication: 2009
Volumen: 238
Número: 3
Pages: 227-247
Type: Article
Revue:
Electronic Notes in Theoretical Computer Science
