Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 - Critical Software - 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: 2018-08-01 14:49:25 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