Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker - Austin Davis - Document - PDFSEARCH.IO

First Page	Meta Content
	Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checker Add to Reading List Document Date: 2010-11-04 22:53:57 Open Document File Size: 350,33 KB Share Result on Facebook

UPDATE

Designing a trustworthy, extensible proof checker for formal systems verification Jared Davis Department of Computer Science, The University of Texas at Austin Introduction The core proof checkerAdd to Reading List