Home > Authors > Zhe Hou > Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Zhe Hou, Vijay Ganesh

Recent activity

Rate this book to see your activity here.

2 Books Similar to Automated Technology for Verification and Analysis by Zhe Hou

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