Declarative debugging of missing answers for Maude specifications
ISSN: 1868-8969
ISBN: 9783939897187
Année de publication: 2010
Volumen: 6
Pages: 277-294
Type: Communication dans un congrès
ISSN: 1868-8969
ISBN: 9783939897187
Année de publication: 2010
Volumen: 6
Pages: 277-294
Type: Communication dans un congrès