TY  - DATA
AU  - Manfred Broy, Stefan Jähnichen
TI  - KORSO: Methods, Languages, and Tools for the Construction of Correct Software
SN  - 9783540478027
PY  - 1995///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/BFb0015452
ER  -