TY  - DATA
AU  - Soren Prehn, Hans Toetenel
TI  - VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
SN  - 9783540464563
PY  - 1991///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/BFb0019994
ER  -