Back to Results
First PageMeta Content
Software quality / Design for X / Symposium on Principles of Programming Languages / Reliability engineering / Computer security / Software / Fly-by-wire


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
UPDATE