1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Niels Mommen, Bart Jacobs
We propose an approach for modular verification of programs written in an object-oriented language where, like in C++, the same virtual method call is bound to different methods at…