Cited By
View all- Dejon NGaber CGrimaud GJomaa N(2024)Code to Qed, the Project Manager's Guide to Proof EngineeringACM Transactions on Software Engineering and Methodology10.1145/366480733:7(1-50)Online publication date: 26-Aug-2024
- SISON RMURRAY T(2021)Verified secure compilation for mixed-sensitivity concurrent programsJournal of Functional Programming10.1017/S095679682100016231Online publication date: 28-Jul-2021
- Ringer TSanchez-Stern AGrossman DLerner SBlanchette JHriţcu C(2020)REPLica: REPL instrumentation for Coq analysisProceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3372885.3373823(99-113)Online publication date: 20-Jan-2020
- Show More Cited By