Author:
Schmitt Peter H.,Tonin Isabel
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implementation-level verification of algorithms with KeY;International Journal on Software Tools for Technology Transfer;2013-11-17
2. A Unified Approach for Static and Runtime Verification: Framework and Applications;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012
3. A Verification System for Distributed Objects with Asynchronous Method Calls;Formal Methods and Software Engineering;2009
4. Incremental Benchmarks for Software Verification Tools and Techniques;Verified Software: Theories, Tools, Experiments