Media type: E-Book; Text Title: Program verifier Tatzelwurm. The correctness an completeness of the generation of the verification conditions Contributor: Kaeufl, Thomas [Author] imprint: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Language: English Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.