Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
ESEC/FSE 2021 (series) / Gerard Holzmann
Gerard Holzmann

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, software verification

Contributions

Show activities from other conferences

ESEC/FSE 2021-profile
View general profile