bn:02156847n
Noun Named Entity
IT
Gerard J. Holzmann  Gerard Holzmann
EN
Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker. Wikipedia
Relations
Sources