Normal view
MARC view
- Logiciels
Logiciels Vérification (Topical Term)
Machine generated authority record.
Work cat.: (JGU)2868269: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, author. 1326810, Model checking /, ©1999.