Verification of Sequential Imperative Programs in Isabelle/HOL (2006)

by N Schirmer