Skip recommendations

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 - 4 results of 4 for search 'Veith, Helmut', query time: 0.02s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
    Published 2013
    Other Authors:
    Texto Completo
    Electronic eBook
  2. 2
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /
    Published 2010
    Other Authors:
    Texto Completo
    Electronic eBook
  3. 3
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Other Authors:
    Texto Completo
    Electronic eBook
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /
    Published 2008
    Other Authors:
    Texto Completo
    Electronic eBook