Nikolai Kosmatov

No bio available. Add one in Open Library.

Books by Nikolai Kosmatov (50 max)

+ shelf+ list

Tests and Proofs 9th International Conference, TAP 2015, Held As Part of STAF 2015, l'Aquila, Italy, July 22-24, 2015. Proceedings

2015

Jasmin Christian Blanchette, Nikolai Kosmatov

+ shelf+ list

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2019

Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall

+ shelf+ list

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

2024

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

+ shelf+ list

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

2024

Nikolai Kosmatov, Laura Kovács