Media type: Book Title: Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions Contributor: Käufl, Thomas [Author] imprint: Karlsruhe: Univ., Fak. für Informatik, 1989 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,9 Extent: 57 Bl Language: English Keywords: Tatzelwurm Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0889 40207 001 Item ID: 32103387 Status: Loanable, place order > Ordering possible ‒ please log in