All authors / Author

Kroening, Daniel

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Paperback]

Model Checking, second edition (Cyber Physical Systems Series) [Hardcover]