Gerard J. Holzmann

Gerard J. Holzmann 2006 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
1
Cover Image
by Holzmann, Gerard J.
Published 1991
Book
Save to List
Saved in:
2
Cover Image
Published 2015
Other Authors: “...Holzmann, Gerard....”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2011
Other Authors: “...Holzmann, Gerard....”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —