Customised Induction Rules for Proving Correctness of Imperative Programs
Paper in proceeding, 2005

Author

Angela Wallenburg

University of Gothenburg

Software Engineering and Formal Methods 2005, IEEE Computer Society Press

180-189

Subject Categories

Computer and Information Science

More information

Created

10/10/2017