Declarative debugging of missing answers for Maude specifications
ISSN: 1868-8969
ISBN: 9783939897187
Year of publication: 2010
Volume: 6
Pages: 277-294
Type: Conference paper
ISSN: 1868-8969
ISBN: 9783939897187
Year of publication: 2010
Volume: 6
Pages: 277-294
Type: Conference paper