TY  - BOOK
A2  - Möller, Bernhard
A2  - Partsch, Helmut
A2  - Schuman, Steve
T1  - Formal program development: IFIP TC 2/WG 2 1 state of the art report
Y1  - 1993
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/88030
SN  - 9783540574996
SN  - 9783540481973
SN  - 0302-9743
SN  - 1611-3349
PB  - Springer
CY  - Berlin
ER  -