TY  - BOOK
AU  - Walther, Christoph
AU  - Walther,Christoph
TI  - Semantik und Programmverifikation
T2  - Teubner-Texte zur Informatik
SN  - 3519003368
PY  - 2001///
CY  - Stuttgart [u.a.]
PB  - Teubner
ER  -