Helmut Veith

Helmut Veith was a Professor on the Faculty of Informatics at Vienna University of Technology (TU Vienna).

Books

Model Checking, 2e
Model Checking, 2e by Jr., Grumberg, Kroening, Peled, Veith 9780262038836