Nqthm
Results: 24
# | Item |
---|---|
21 | The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UKAdd to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2014-04-08 21:19:27 |
22 | A verified runtime for a verified theorem prover Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK 2Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2011-05-23 22:30:57 |
23 | Copyright by Jared Curran Davis 2009 The Dissertation Committee for Jared Curran DavisAdd to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2010-11-05 00:16:20 |
24 | Tech Digest Figure Template_1 column_01-06-12Add to Reading ListSource URL: www.jhuapl.eduLanguage: English - Date: 2013-09-26 17:40:05 |