Declarative debugging of rewriting logic specifications
ISSN: 1567-8326
Año de publicación: 2012
Volumen: 81
Número: 7-8
Páginas: 851-897
Tipo: Aportación congreso
ISSN: 1567-8326
Año de publicación: 2012
Volumen: 81
Número: 7-8
Páginas: 851-897
Tipo: Aportación congreso