Nikolai Kosmatov

Identifiers

Open LibraryOL7956607A

Top Subjects

Constraint programming (computer science) (1)
Computer software, development (1)

Books by Nikolai Kosmatov

Total count: 4

Tests and Proofs9th International Conference, TAP 2015, Held As Part of STAF 2015, l`Aquila, Italy, July 22-24, 2015. Proceedings

Springer International Publishing AG2015-01-01
Testing Software and Systems31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Springer2019-09-18
Guide to Software Verification with Frama-CCore Components, Usages, and Applications

Springer International Publishing AG2024-01-01
Integrated Formal Methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Springer2024-01-01