Sandrine Blazy, Xavier Leroy. Formal verification of a memory model for C-like imperative languages.
ICFEM'05: 7th International Conference on Formal Engineering Methods, Nov 2005, Manchester, United Kingdom. pp.280-299,
⟨10.1007/11576280⟩.
⟨inria-00077921⟩