Customised induction rules for proving correctness of imperative programs (0)

by Ola Olsson, Angela Wallenburg
Venue:Software Engineering and Formal Methods. 3rd IEEE International Conference, SEFM 2005