David Dill
E258550
UNEXPLORED
David Dill is an American computer scientist known for his influential work in formal verification, model checking, and hardware verification.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.