Declarative debugging of rewriting logic specifications
ISSN: 1567-8326
Year of publication: 2012
Volume: 81
Issue: 7-8
Pages: 851-897
Type: Conference paper
ISSN: 1567-8326
Year of publication: 2012
Volume: 81
Issue: 7-8
Pages: 851-897
Type: Conference paper