Normal view
MARC view
Kim Guldstrand Larsen, Tim Willemse (Personal Name)
Machine generated authority record
Work cat.: (OSt)1641311: Kim Guldstrand Larsen, Tim Willemse, Formal Methods for Industrial Critical Systems