Home > Authors > Ruzica Piskac > Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

Recent activity

Rate this book to see your activity here.

1 Book Similar to Verified Software. Theories, Tools, and Experiments by Ruzica Piskac

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

Verification, Model Checking, and Abstract Interpretation by Constantin Enea

Cover of Verification, Model Checking, and Abstract Interpretation

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 Verified Software. Theories, Tools, and Experiments

Please sign in to leave a comment