Author:
Aspinall David,Kaliszyk Cezary
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Code to Qed, the Project Manager's Guide to Proof Engineering;ACM Transactions on Software Engineering and Methodology;2024-08-26
2. Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems;Proceedings of the 21st International Conference on Mining Software Repositories;2024-04-15
3. Structural Coverage of LTL Requirements for Learning-based Testing;2022 International Conference on IT and Industrial Technologies (ICIT);2022-10-03
4. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. QED at Large: A Survey of Engineering of Formally Verified Software;Foundations and Trends® in Programming Languages;2019