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

by S Blazy, X Leroy
Venue:In Proc. of Int. Conf. on Formal Engineering Methods (ICFEM), volume 3785 of LNCS