Home > Authors > Nikolai Kosmatov > Guide to Software Verification with Frama-C

Buy at: Bookshop.org Amazon

Guide to Software Verification with Frama-C

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Recent activity

Rate this book to see your activity here.

2 Books Similar to Guide to Software Verification with Frama-C by Nikolai Kosmatov

Bookscovery readers who liked Guide to Software Verification with Frama-C also like Integrated Formal Methods, and Tests and Proofs. How many of these have you read?

Integrated Formal Methods by Nikolai Kosmatov

Cover of Integrated Formal Methods

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

Tests and Proofs by Jasmin Christian Blanchette

Cover of Tests and Proofs

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 Guide to Software Verification with Frama-C

Please sign in to leave a comment