Normal view
MARC view
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp(Personal Name)
Machine generated authority record
Work cat.: (OSt)1620763: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, Critical Systems: Formal Methods and Automated Verification