Home > Authors > Ahmed Bouajjani > Computer Aided Verification
Computer Aided Verification
Recent activity
Rate this book to see your activity here.
6 Books Similar to Computer Aided Verification by Ahmed Bouajjani
Bookscovery readers who liked Computer Aided Verification also like
Automated Technology for Verification and Analysis, Formal Techniques for Disributed Objects, Components, and Systems and Networked Systems.
How many of these have you read?
Comments and reviews of Computer Aided Verification
Please sign in to leave a comment