Home > Authors > Constantin Enea > Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Constantin Enea, Ruzica Piskac

pages cm

Recent activity

Rate this book to see your activity here.

1 Book Similar to Verification, Model Checking, and Abstract Interpretation by Constantin Enea

Bookscovery readers who liked Verification, Model Checking, and Abstract Interpretation also like Verified Software. Theories, Tools, and Experiments. How many of these have you read?

Verified Software. Theories, Tools, and Experiments by Ruzica Piskac

Cover of Verified Software. Theories, Tools, and Experiments

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 Verification, Model Checking, and Abstract Interpretation

Please sign in to leave a comment