Daniel Kroening

Livres
Model Checking, second edition Model Checking, second edition
Model Checking, second edition
2018
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
2015
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
2014
Decision Procedures Decision Procedures
Decision Procedures
2008