[go: up one dir, main page]

"Formal verification of object layout for c++ multiple inheritance."

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy (2011)

Details and statistics

DOI: 10.1145/1926385.1926395

access: closed

type: Conference or Workshop Paper

metadata version: 2021-06-24