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