A verification environment for sequential imperative programs in Isabelle/HOL (2005)

by Norbert Schirmer
Venue:Logic for Programming, Artificial Intelligence, and Reasoning, volume 3452 of Lecture Notes in Artificial Intelligence