![Gerard Holzmann](https://conf.researchr.org/getProfileImage/gerardholzmann/c5072b2e-ad04-419b-b08c-1338fb4219d9/small.jpg?1711561272000)
Registered user since Sat 29 Oct 2016
Name:Gerard Holzmann
Country:United States
Affiliation:NASA/Caltech Jet Propulsion Laboratory
Personal website: http://spinroot.com/gerard
Research interests:distributed systems, model checking, software verification
Contributions
ISSTA 2017-profile
View general profile
View general profile