Helmut Veith

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. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Veith, Helmut', query time: 0.01s Refine Results
  1. 1

    25 years of model checking : history, achievements, perspectives /

    Published 2008
    Other Authors:
    Book