Verification of C++ Programs with VeriFast. - Niels Mommen; Bart Jacobs 002 (CoRR, 2022)

Verifying C++ Dynamic Binding. - Niels Mommen; Bart Jacobs 002 (FTfJP@ECOOP, 2023)