Normal view MARC view
  • Veith, Helmut,

Veith, Helmut, (Personal Name)

Number of records used in: 1
Preferred form: Veith, Helmut,

Machine generated authority record.

Work cat.: (ByWater)37800: Handbook of model checking, c2018.