Normal view
MARC view
- Broy, M.,
Broy, M., 1949- (Personal Name)
Machine generated authority record.
Work cat.: (JGU)2947188: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010 : Marktoberdorf, Germany) 1523071, Software and systems safety :, 2011.