Orna Kupferman
E260558
UNEXPLORED
Orna Kupferman is an Israeli computer scientist known for her contributions to formal verification, automata theory, and logic in computer science.
Jump to:
Referenced by
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.