Daniel Kroening profile picture

Daniel Kroening

Is this your author profile? Create an account to customize it!

Stand Alone

Decision Procedures
Decision Procedures: An Algorithmic Point of View
Validation of Evolving Software
Validation of Evolving Software
Validation of Evolving Software
Decision Procedures: An Algorithmic Point of View
Verified Software : Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Computer Aided Verification
Computer Aided Verification