Normal view
MARC view
- Clarke, Edmund M.,
Clarke, Edmund M., 1945- (Personal Name)
Machine generated authority record.
Work cat.: (ByWater)37800: Handbook of model checking, c2018.