Normal view
MARC view
- Clarke, E. M.
Clarke, E. M. (Personal Name)
Machine generated authority record.
Work cat.: (IN-BhIIT)6460: Clarke, E. M., Model Checking / , 1999.