Date: 2010-12-29 13:37:29Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics | | Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading ListSource URL: pauillac.inria.frDownload Document from Source Website File Size: 111,22 KBShare Document on Facebook
|