Program Verification Using Change Information.

Bernhard Beckert, Peter H. Schmitt

Browse the full SEFM paper archive.