Cited By
View all- Miller D(2020)A Distributed and Trusted Web of Formal ProofsDistributed Computing and Internet Technology10.1007/978-3-030-36987-3_2(21-40)Online publication date: 9-Jan-2020
- Chaudhuri KAndronick JFelty A(2018)A two-level logic perspective on (simultaneous) substitutionsProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3167093(280-292)Online publication date: 8-Jan-2018
- Platzer A(2017)A Complete Uniform Substitution Calculus for Differential Dynamic LogicJournal of Automated Reasoning10.1007/s10817-016-9385-159:2(219-265)Online publication date: 1-Aug-2017
- Show More Cited By