Gerard J. Holzmann

Person information

  • affiliation: Bell Labs
  • affiliation (PhD 1976): Delft University of Technology, The Netherlands
  • award (2005): Paris Kanellakis Award
  • award (2001): ACM Software System Award

Refine list

showing all ?? records

2020 – today

2010 – 2019

2000 – 2009

1990 – 1999

1980 – 1989