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

1

Cover Image

25 Years of Model Checking History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith.

Published 2008

Other Authors: '; “...Veith, Helmut....”
Get full text

2

Cover Image

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings / edited by Natasha Sharygina, Helmut Veith.

Published 2013

Other Authors: '; “...Veith, Helmut....”
Get full text

3

Cover Image

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / edited by Iliano Cervesato,...

Published 2008

Other Authors: '; “...Veith, Helmut....”
Get full text

4

Cover Image

Handbook of Model Checking edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem.

Published 2018

Other Authors: '; “...Veith, Helmut....”
Get full text