Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dafny vs. Dala: Experience with Mechanising Language Design;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20
2. Towards AI-Assisted Synthesis of Verified Dafny Methods;Proceedings of the ACM on Software Engineering;2024-07-12
3. Live Verification in an Interactive Proof Assistant;Proceedings of the ACM on Programming Languages;2024-06-20
4. Does Every Computer Scientist Need to Know Formal Methods?;Formal Aspects of Computing;2024-06-10
5. On Formal Methods Thinking in Computer Science Education;Formal Aspects of Computing;2024-06