Edmund Melson Clarke

Country : États-Unis
Language : anglais
Gender : masculin
Note :
Informaticien. - Professeur, Computer science department, School of computer science, Carnegie Mellon university, Pittsburgh, Pa. (en 2006)
ISNI : ISNI 0000 0001 2119 7648

Activities of Edmund Melson Clarke (2 resources in data.bnf.fr)

Textual works (2)

Verification of infinite-state systems with applications to security with Edmund Melson Clarke as Éditeur scientifique
Model checking

See also