Helmut Veith

Books
Model Checking, second edition Model Checking, second edition
Model Checking, second edition
2018
Computer Science Logic Computer Science Logic
Computer Science Logic
2010