![](/img/cover-not-exists.png)
Formal Verification of an SSA-Based Middle-End for CompCert
Barthe, Gilles, Demange, Delphine, Pichardie, DavidVolume:
36
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/2579080
Date:
March, 2014
File:
PDF, 1.28 MB
english, 2014