Daniel Kroening

도서
Model Checking, second edition Model Checking, second edition
Model Checking, second edition
2018년
Decision Procedures Decision Procedures
Decision Procedures
2008년
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년