Angela Wallenburg – Customised Induction Rules for Proving Correctness of Imperative Programs

Slides