Normal view
MARC view
Henzinger, Thomas A. (Editor) (Personal Name)
Machine generated authority record.
Work cat.: (OSt)1919: Clarke, Edmund M. (Editor) 6581, Handbook of model checking, c2018