An Interactive Verification System Based on Dynamic Logic.

Reiner Hhnle, Maritta Heisel, Wolfgang Reif, Werner Stephan

Browse the full CADE paper archive.