Schirmer, N. (2006). Verification of sequential imperative programs in Isabelle/HOL.
Chicago-Zitierstil (17. Ausg.)Schirmer, Norbert. Verification of Sequential Imperative Programs in Isabelle/HOL. 2006.
MLA-Zitierstil (9. Ausg.)Schirmer, Norbert. Verification of Sequential Imperative Programs in Isabelle/HOL. 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.