Ola Olsson, Angela Wallenburg. Customised Induction Rules for Proving Correctness of Imperative Programs. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 180-189, IEEE Computer Society, 2005. [doi]
Abstract is missing.