Gerard J. Holzmann Scientist
Gerard J. Holzmann (born 1951) is an Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Search
Scientist
| doctoral advisor | J.L. de Kroes |
|---|---|
| Field of study |