Formal Verification of Object Layout for C++ Multiple Inheritance

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