Daniel Kroening

الكتب
Model Checking, second edition Model Checking, second edition
Model Checking, second edition
٢٠١٨
Decision Procedures Decision Procedures
Decision Procedures
٢٠٠٨
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٥
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٥
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
٢٠١٥
Verified Software: Theories, Tools and Experiments Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
٢٠١٤