Doron Peled
E250447
UNEXPLORED
Doron Peled is a computer scientist known for his contributions to formal methods and model checking, particularly in collaboration with Edmund M. Clarke.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
coAuthor |