Orna Grumberg
E258561
UNEXPLORED
Orna Grumberg is a prominent computer scientist known for her contributions to formal verification and model checking.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
coAuthor |