Browse
FAQ

Author

Nikolai Kosmatov

4 books found

Cover of Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles · First published 2024

Cover of Integrated Formal Methods

Integrated Formal Methods

Nikolai Kosmatov, Laura Kovács · First published 2024

Cover of Testing Software and Systems

Testing Software and Systems

Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall · First published 2019

Cover of Tests and Proofs

Tests and Proofs

Jasmin Christian Blanchette, Nikolai Kosmatov · First published 2015