![](https://www.pdfsearch.io/img/9c0bb7d2078f5f99f452de638ea594c6.jpg) Date: 2012-12-13 01:33:53
| | Mechanized semantics for compiler verification or: CompCert’s tortuous path through semantics land Xavier Leroy INRIA Paris-RocquencourtAdd to Reading ListSource URL: pauillac.inria.frDownload Document from Source Website File Size: 1,25 MBShare Document on Facebook
|