Publisher
Springer International Publishing
Reference58 articles.
1. European Space Agency: Ariane 5: Flight 501 failure. Report by the Enquiry Board (1996)
2. Lecture Notes in Computer Science;D Babić,2008
3. Lecture Notes in Computer Science;D Babić,2007
4. Graduate Texts in Computer Science;RJR Back,1998
5. Lecture Notes in Computer Science;M Barnett,2006
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Formal Methods Thinking in Computer Science Education;Formal Aspects of Computing;2024-06
2. Deductive verification of smart contracts with Dafny;International Journal on Software Tools for Technology Transfer;2024-02-20
3. First Steps towards Deductive Verification of LLVM IR;Lecture Notes in Computer Science;2024
4. The VerCors Verifier: A Progress Report;Lecture Notes in Computer Science;2024
5. Verifying Whiley Programs with Boogie;Journal of Automated Reasoning;2022-03-20