TY - BOOK
AU - ZUM 11 1998 Berlin
AU - Bowen, Jonathan P.
AU - Fett, Andreas
AU - Hinchey, Mike
TI - ZUM '98: The Z formal specification notation 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings
PB - Springer
SN - 3540650709
KW - Konferenzschrift
KW - Konferenzschrift 1998 Berlin
KW - Formale Spezifikationstechnik
KW - Z Programmiersprache
PY - 1998
BT - Lecture notes in computer science ; 1493
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation