Zoeken

U zocht naar: Auteur Kovács, Laura. Filter Auteur: Kovács, Laura. weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
thumbnail
Full text!
Auteur:
Nikolai Kosmatov; Kovács, Laura
Uitgever:
Springer Nature 2024
Type:
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!
Auteur:
Kovács, Laura.; Meinke, Karl
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
3. Automated Reasoning
thumbnail
Full text!
Auteur:
Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Uitgever:
Springer International Publishing 2022
Type:
e-book