Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AutoProof: auto-active functional verification of object-oriented programs;International Journal on Software Tools for Technology Transfer;2016-04-06
2. AutoProof: Auto-Active Functional Verification of Object-Oriented Programs;Tools and Algorithms for the Construction and Analysis of Systems;2015
3. A Unified Approach for Static and Runtime Verification: Framework and Applications;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012