Tool Support for Teaching Hoare Logic.

Tadeusz Sznuk, Aleksy Schubert

Browse the full SEFM paper archive.