Normal view MARC view
  • Henzinger, Thomas A.,

Henzinger, Thomas A., (Personal Name)

Number of records used in: 1
Preferred form: Henzinger, Thomas A.,

Machine generated authority record.

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