Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt - ACM Transactions on Programming Languages and Systems - Document - PDFSEARCH.IO

First Page	Meta Content
	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Document Date: 2010-12-29 13:37:29 Open Document File Size: 111,22 KB Share Result on Facebook

Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List