Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk uk pages
f: find files
t: within title
b: within body
More explanation...
Gerard J. Holzmann
Gerard J. Holzmann is an American computer scientist, best known as the developer of the SPIN model checker.
More at Wikipedia
Dutch computer scientists
Formal methods people
More related topics
Delft University of Technology alumni
Scientists at Bell Labs
NASA personnel
Fellows of the Association for Computing Machinery
This page requires Javascript.Get the non-JS version
here
.