Veith, Helmut
Enlarge text Shrink text-
Personality
|
System number
987007442909005171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Veith, Helmut
Date of birth
1971-02-05
Date of death
2016-03-12
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- 25 years of model checking, 2008:t.p. (Helmut Veith)
- 25 years of model checking :history, achievements, perspectives, c2008
Wikipedia description:
Helmut Veith (5 February 1971 – 12 March 2016) was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science. He was a Professor of Informatics at the Vienna University of Technology (TU Wien), Austria.
Read more on Wikipedia >