Gerard J. Holzmann

Mon

Dutch computer scientist (born 1951)

1 books in the database