TY  - CHAP
A1  - Hußmann, Heinrich
A1  - Loeckx, Jacques
A1  - Reif, Wolfgang
A2  - Reichel, Horst
T1  - KORSO: das Verbundprojekt “Korrekte Software”
T2  - Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993
Y1  - 1993
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/60770
SN  - 9783540571926
SN  - 9783642784866
SN  - 1431-472X
SP  - 266
EP  - 271
PB  - Springer
CY  - Berlin
ER  -