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 - 6 results of 6 for search 'Veith, Helmut', query time: 0.02s Refine Results
  1. 1
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
    by Dawar, Anuj
    Published 2010
    Other Authors: “…Veith, Helmut…”
    Get full text
    Electronic Kit Book
  2. 2
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Other Authors: “…Veith, Helmut…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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: “…Veith, Helmut…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Published 2013
    Other Authors: “…Veith, Helmut…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    Published 2008
    Other Authors: “…Veith, Helmut…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Handbook of Model Checking
    Published 2018
    Other Authors: “…Veith, Helmut…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search