Search

You searched for: Auteur Nikolai Kosmatov Remove constraint Auteur: Nikolai Kosmatov
1 - 3 of 3
Number of results to display per page

Search Results

1. Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
thumbnail
Full text!
Author:
Nikolai Kosmatov; Kovács, Laura
Publisher:
Springer Nature 2024
Format:
e-book
2. Tests and Proofs
thumbnail
Full text!
Author:
Blanchette; Kosmatov, Nikolai
Publisher:
Springer International Publishing 2015
Format:
e-book
3. Testing Software and Systems
thumbnail
Full text!
Author:
Gaston; Kosmatov, Nikolai; Le Gall, Pascale
Publisher:
Springer International Publishing 2019
Format:
e-book