Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 - Periodic group - Document - PDFSEARCH.IO

First Page	Meta Content
	Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 Add to Reading List Document Date: 2011-02-02 12:03:33 Open Document File Size: 2,42 MB Share Result on Facebook

Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011Add to Reading List