Home > Authors > Cezara Dragoi > Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Recent activity
Rate this book to see your activity here.
3 Books Similar to Verification, Model Checking, and Abstract Interpretation by Cezara Dragoi
Bookscovery readers who liked Verification, Model Checking, and Abstract Interpretation also like
Static Analysis, Computational Quantum Mechanics and Zhongguo xian dai za wen shi.
How many of these have you read?
Comments and reviews of Verification, Model Checking, and Abstract Interpretation
Please sign in to leave a comment