Formal Verification of Object Layout for C++ Multiple Inheritance

by Tahina Ramananandro , Gabriel Dos Reis , Xavier Leroy
Citations:7 - 1 self