Edmund Melson Clarke Jr.
E239162
UNEXPLORED
Edmund Melson Clarke Jr. was an American computer scientist best known for co-developing model checking, a pioneering technique in formal verification of hardware and software systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.