Home > Authors > Alessandro Cimatti > Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Alessandro Cimatti, Laura Titolo

Recent activity

Rate this book to see your activity here.

1 Book Similar to Formal Methods for Industrial Critical Systems by Alessandro Cimatti

Bookscovery readers who liked Formal Methods for Industrial Critical Systems also like Formal Methods for Hardware Verification. How many of these have you read?

Formal Methods for Hardware Verification by Marco Bernardo

Cover of Formal Methods for Hardware Verification

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 Formal Methods for Industrial Critical Systems

Please sign in to leave a comment