Home / Authors / Kroening, Daniel

Books by Kroening, Daniel

All books by this author

4 books found
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View
By: Kroening, Daniel
View Details
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in…
By: Kroening, Daniel
View Details
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View
By: Kroening, Daniel
View Details
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Volume 9206)
Computer Aided Verification: 27th International Conference,…
By: Kroening, Daniel
View Details