Gerard J. Holzmann
E238792
UNEXPLORED
Gerard J. Holzmann is a computer scientist best known for creating the SPIN model checker and for his influential work in formal verification and software reliability.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Rajeev Alur
→
|
coAuthor |