Formal Verification of a Memory Model for C-Like Imperative Languages

by Sandrine Blazy , Xavier Leroy
Citations:14 - 7 self