Customised Induction Rules for Proving Correctness of Imperative Programs
Paper in proceeding, 2005
Author
Ola Olsson
Angela Wallenburg
University of Gothenburg
Software Engineering and Formal Methods 2005, IEEE Computer Society Press
180-189
Subject Categories
Computer and Information Science