Declarative debugging of missing answers for Maude specifications
ISSN: 1868-8969
ISBN: 9783939897187
Any de publicació: 2010
Volum: 6
Pàgines: 277-294
Tipus: Aportació congrés
ISSN: 1868-8969
ISBN: 9783939897187
Any de publicació: 2010
Volum: 6
Pàgines: 277-294
Tipus: Aportació congrés