Declarative debugging of missing answers for Maude specifications
ISSN: 1868-8969
ISBN: 9783939897187
Año de publicación: 2010
Volumen: 6
Páginas: 277-294
Tipo: Aportación congreso
ISSN: 1868-8969
ISBN: 9783939897187
Año de publicación: 2010
Volumen: 6
Páginas: 277-294
Tipo: Aportación congreso