Home > Authors > Yu-Fang Chen > Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

Recent activity

Rate this book to see your activity here.

1 Book Similar to Automated Technology for Verification and Analysis by Yu-Fang Chen

Bookscovery readers who liked Automated Technology for Verification and Analysis also like Verification and Evaluation of Computer and Communication Systems. How many of these have you read?

Verification and Evaluation of Computer and Communication Systems by Belgacem Ben Hedia

Cover of Verification and Evaluation of Computer and Communication Systems

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Automated Technology for Verification and Analysis

Please sign in to leave a comment