Formal Verification of a Memory Model for <i>C</i>-Like Imperative Languages.

Sandrine Blazy Xavier Leroy Formal Verification of a Memory Model for <i>C</i>-Like Imperative Languages. 280-299 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_20 db/conf/icfem/icfem2005.html#BlazyL05