TY  - CHAP
A1  - Fuchß, Thomas
A1  - Reif, Wolfgang
A1  - Schellhorn, Gerhard
A1  - Stenzel, Kurt
A2  - Broy, Manfred
A2  - Jähnichen, Stefan
T1  - Three selected case studies in verification
T2  - KORSO - methods, languages, and tools for the construction of correct software: Final Report
Y1  - 1995
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/60755
SN  - 9783540605898
SN  - 9783540478027
SN  - 0302-9743
SN  - 1611-3349
SP  - 369
EP  - 387
PB  - Springer
CY  - Berlin [u.a.]
ER  -