Author:
Bourke Timothy,Daum Matthias,Klein Gerwin,Kolanski Rafal
Publisher
Springer Berlin Heidelberg
Cited by
18 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. Mostly Automated Proof Repair for Verified Libraries;Proceedings of the ACM on Programming Languages;2023-06-06
3. Proof repair across type equivalences;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. Maintaining a Library of Formal Mathematics;Lecture Notes in Computer Science;2020