Gerard J. Holzmann Bio, Photos and Updates










Like
0

Gerard J. Holzmann
Bio: Gerard J. Holzmann is an Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker..
Born: September 11, 1951 in Amsterdam, Netherlands
Posted In: Netherlands Scientists, Italian Footballers
Sponsored Links
Comments