N

Nikolai Kosmatov

4 books found

Books by Nikolai Kosmatov
Tests and ProofsJasmin Christian Blanchette
⏱ 3h 29m

Tests and Proofs

Jasmin Christian Blanchette

2015209 pp.
Integrated Formal MethodsNikolai Kosmatov

Integrated Formal Methods

Nikolai Kosmatov

2024No page data
Guide to Software Verification with Frama-CNikolai Kosmatov
⏱ 11h 37m

Guide to Software Verification with Frama-C

Nikolai Kosmatov

2024697 pp.
Testing Software and SystemsChristophe Gaston
⏱ 5h 11m

Testing Software and Systems

Christophe Gaston

2019311 pp.