Author:
Alpuente María,Ballis Demis,Espert Javier,Romero Daniel
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward trace slicing for RWL rewriting logic theories (Technical Report),
http://hdl.handle.net/10251/10770
2. Alpuente, M., Ballis, D., Baggi, M., Falaschi, M.: A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT. In: Proc. PEPM 2010, pp. 43–52. ACM, New York (2010)
3. Lecture Notes in Computer Science;M. Alpuente,2010
4. Lecture Notes in Computer Science;M. Alpuente,2009
5. Lecture Notes in Computer Science;M. Baggi,2009
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献