Tactical Theorem Proving in Program Verification.

Maritta Heisel, Wolfgang Reif, Werner Stephan

Browse the full CADE paper archive.