TY  - BOOK
A2  - ed. by Manfred Broy, Christian Leuxner and Tony Hoare.
A3  - Broy, Manfred
A3  - Leuxner, Christian.
A3  - Hoare, Charles Antony Richard
NV  - IX, 285 s. :
PY  - 2011
SN  - 9781607507109
SN  - 9781607507116
TI  - Software and systems safety : specification and verification /
VL  - vol. 30
ER  -