MPG.eBooks - Author Search Results

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

Cover Image

1

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Veith, Helmut...”

Cover Image

2

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Veith, Helmut...”

Cover Image

3

25 Years of Model Checking : History, Achievements, Perspectives

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Veith, Helmut...”

Cover Image

4

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Veith, Helmut...”

Cover Image

5

Handbook of Model Checking

Published 2018

Springer International Publishing

Other Authors: “...Veith, Helmut...”