Customised Induction Rules for Proving Correctness of Imperative Programs.

Ola Olsson, Angela Wallenburg

Browse the full SEFM paper archive.