Publisher
Springer International Publishing
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Scapegoat Trees Using Dafny;Lecture Notes in Computer Science;2024
2. Teaching algorithms and data structures with a proof assistant (invited talk);Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs;2021-01-17
3. Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL;Journal of Automated Reasoning;2020-06
4. Verified Analysis of Random Binary Tree Structures;Journal of Automated Reasoning;2020-02-08
5. Proof pearl: Braun trees;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20