Author:
Jensen Kurt,Podelski Andreas
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Program completeness verification mechanism based on static analysis;International Conference on Computer Network Security and Software Engineering (CNSSE 2023);2023-06-26
2. IoT laboratory for a course in systems and digital medias;Proceedings of the 10th Euro-American Conference on Telematics and Information Systems;2020-11-25
3. Software Model Checking;Computing Handbook, Third Edition;2014-05-08
4. A systematic representation of path constraints for implicit path enumeration technique;Software Testing, Verification and Reliability;2010-03