Vista normal Vista MARC
  • Clarke, Edmund M.

Clarke, Edmund M. (Nombre personal)

Forma preferida: Clarke, Edmund M.

Machine generated authority record.

Work cat.: (CoBo-ECI)10217: Clarke, Edmund M., Model Checking/ , 1999