Author:
Ameri Michael,Furia Carlo A.
Publisher
Springer International Publishing
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verifying Whiley Programs with Boogie;Journal of Automated Reasoning;2022-03-20
2. F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails;Electronic Proceedings in Theoretical Computer Science;2021-11-16
3. überSpark;ACM SIGOPS Operating Systems Review;2020-08-31
4. Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools;Lecture Notes in Computer Science;2019
5. A fully verified container library;Formal Aspects of Computing;2018-09