Byron Cook
E239164
UNEXPLORED
Byron Cook is a computer scientist known for his work in formal verification and program analysis, particularly in proving program termination and safety.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
notableStudent |