Your search - Gerard J. Holzmann - did not match any resources.
Gerard J. Holzmann
Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Provided by Wikipedia