Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations (2008)

by Xavier Leroy , Sandrine Blazy
Citations:17 - 3 self