Home > Authors > Rupak Majumdar > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Rupak Majumdar, Viktor Kunčak

Recent activity

Rate this book to see your activity here.

1 Book Similar to Computer Aided Verification by Rupak Majumdar

Bookscovery readers who liked Computer Aided Verification also like Model Checking Software. How many of these have you read?

Model Checking Software by Klaus Havelund

Cover of Model Checking Software

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 Computer Aided Verification

Please sign in to leave a comment