Reuse in Software Verification by Abstract Method Calls.

Reiner Hhnle, Ina Schaefer, Richard Bubel

Browse the full CADE paper archive.