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

by Xavier Leroy , Sandrine Blazy
Citations:20 - 4 self