Verifying C++ Dynamic Binding.

Niels Mommen, Bart Jacobs

Browse the full FTfJP paper archive.