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 - 3 results of 3 for search 'Veith, Helmut', query time: 0.01s Refine Results
  1. 1
    25 Years of Model Checking History, Achievements, Perspectives /
    by Grumberg, Orna
    Published in Springer eBooks (2008)
    Other Authors: “...Veith, Helmut...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Other Authors: “...Veith, Helmut...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Other Authors: “...Veith, Helmut...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed