Helmut Veith
Helmut Veith ( – ) est un informaticien autrichien qui a travaillé dans les domaines du model checking, génie logiciel, sécurité des systèmes d'information, et logique pour l'informatique. Il était professeur d'informatique à l'université technique de Vienne (TU Wien). Informations fournies par Wikipedia
1
2