Clicky

Computer Aided Verification by Arie Gurfinkel and similar books you'll love - Bookscovery

Home > Authors > Arie Gurfinkel > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

Recent activity

Rate this book to see your activity here.

3 Books Similar to Computer Aided Verification by Arie Gurfinkel

Bookscovery readers who liked Computer Aided Verification also like Verified Software : Theories, Tools, and Experiments, Automated Technology for Verification and Analysis and Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis. How many of these have you read?

Verified Software : Theories, Tools, and Experiments by Arie Gurfinkel

Cover of Verified Software : Theories, Tools, and Experiments
Buy this book at:
Bookshop.org Amazon

Automated Technology for Verification and Analysis by Zhe Hou

Cover of Automated Technology for Verification and Analysis
Buy this book at:
Bookshop.org Amazon

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis by Vijay Ganesh

Cover of Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer Aided Verification

Please sign in to leave a comment