Author:
Riesco Adrian,Verdejo Alberto,Martí-Oliet Narciso
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Declarative debugging of rewriting logic specifications;The Journal of Logic and Algebraic Programming;2012-10
2. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10
3. Test-Case Generation for Maude Functional Modules;Recent Trends in Algebraic Development Techniques;2012
4. A Complete Declarative Debugger for Maude;Algebraic Methodology and Software Technology;2011