TY -
BOOK
AU - Käufl, Thomas
TI -
Program verifier Tatzelwurm
the correctness an completeness of the generation of the verification conditions
PB - Univ., Fak. für Informatik
KW - Tatzelwurm Programm
PY - 1989
BT - Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,9
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -