Back to Results
First PageMeta Content



Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,
Add to Reading List

Document Date: 2015-10-19 04:32:35


Open Document

File Size: 365,93 KB

Share Result on Facebook