Search

You searched for: Auteur Kovács, Laura. Remove constraint Auteur: Kovács, Laura.
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 : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
thumbnail
Full text!
Author:
Kovács, Laura.; Meinke, Karl
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
3. Automated Reasoning
thumbnail
Full text!
Author:
Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Publisher:
Springer International Publishing 2022
Format:
e-book