Cited By
View all- Popescu ALammich PHou P(2020)CoCon: A Conference Management System with Formally Verified Document ConfidentialityJournal of Automated Reasoning10.1007/s10817-020-09566-9Online publication date: 16-Jul-2020
- Moore J(2019)Milestones from the Pure Lisp theorem prover to ACL2Formal Aspects of Computing10.1007/s00165-019-00490-3Online publication date: 30-Jul-2019
- Bauereiβ TPesenti Gritti APopescu ARaimondi F(2018)CoSMedJournal of Automated Reasoning10.1007/s10817-017-9443-361:1-4(113-139)Online publication date: 1-Jun-2018
- Show More Cited By