Equational abstractions in rewriting logic and Maude
- Martí-Oliet, N.
- Durán, F.
- Verdejo, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319150741
Año de publicación: 2015
Volumen: 8941
Páginas: 17-31
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783319150741
Año de publicación: 2015
Volumen: 8941
Páginas: 17-31
Tipo: Aportación congreso