Home > Authors > Isil Dillig > Computer Aided Verification
Computer Aided Verification
Recent activity
Rate this book to see your activity here.
3 Books Similar to Computer Aided Verification by Isil Dillig
Bookscovery readers who liked Computer Aided Verification also like
Verification, Model Checking, and Abstract Interpretation, Runtime Verification and Verified Software. Theories, Tools and Experiments.
How many of these have you read?
Comments and reviews of Computer Aided Verification
Please sign in to leave a comment