A complete declarative debugger for maude
ISSN: 0302-9743, 1611-3349
ISBN: 9783642177958
Year of publication: 2011
Volume: 6486 LNCS
Pages: 216-225
Type: Conference paper
ISSN: 0302-9743, 1611-3349
ISBN: 9783642177958
Year of publication: 2011
Volume: 6486 LNCS
Pages: 216-225
Type: Conference paper