Formal verification of a memory model for C-like imperative languages (2005)

by S Blazy, X Leroy
Venue:In International Conference on Formal Engineering Methods