A Verification Environment for Sequential Imperative Programs in Isabelle/HOL

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_26 ◽

2005 ◽

pp. 398-414 ◽

Cited By ~ 81

Author(s):

Norbert Schirmer

Download Full-text