Vista normal
Vista MARC
- Clarke, Edmund M.
Clarke, Edmund M. (Nombre personal)
Machine generated authority record.
Work cat.: (CoBo-ECI)10217: Clarke, Edmund M., Model Checking/ , 1999
Machine generated authority record.
Work cat.: (CoBo-ECI)10217: Clarke, Edmund M., Model Checking/ , 1999