Home > Authors > Jaco van de Pol > Model Checking Software

Model Checking Software

Jaco van de Pol

Recent activity

Rate this book to see your activity here.

1 Book Similar to Model Checking Software by Jaco van de Pol

Bookscovery readers who liked Model Checking Software also like Formal Methods : Applications and Technology. How many of these have you read?

Formal Methods : Applications and Technology by Lubos Brim

Cover of Formal Methods : Applications and Technology

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 Model Checking Software

Please sign in to leave a comment