Cited By
View all- Chihani ZMiller DRenaud F(2017)A Semantic Framework for Proof EvidenceJournal of Automated Reasoning10.1007/s10817-016-9380-659:3(287-330)Online publication date: 1-Oct-2017
- Miller D(2017)Proof checking and logic programmingFormal Aspects of Computing10.1007/s00165-016-0393-z29:3(383-399)Online publication date: 1-May-2017
- Jakobs MWehrheim H(2017)Compact Proof WitnessesNASA Formal Methods10.1007/978-3-319-57288-8_28(389-403)Online publication date: 9-Apr-2017
- Show More Cited By