Author:
Consens M.,Mendelzon A.,Ryman A.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Source Code Verification for Embedded Systems using Prolog;Electronic Proceedings in Theoretical Computer Science;2017-01-01
2. Improved Similarity Measures for Software Clustering;2011 15th European Conference on Software Maintenance and Reengineering;2011-03
3. Using Declarative Meta Programming for Design Flaws Detection in Object-Oriented Software;2009 International Conference on Signal Processing Systems;2009
4. References;Advanced Debugging Methods;2000
5. A GRAPH DRAWING AND TRANSLATION SERVICE ON THE WORLD WIDE WEB;International Journal of Computational Geometry & Applications;1999-08