Normal view MARC view
  • Bloem, Roderick P.,

Bloem, Roderick P., (Personal Name)

Number of records used in: 1
Preferred form: Bloem, Roderick P.,

Machine generated authority record.

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