Laura Kovács
Identifiers
- Open LibraryOL10455500A
Top Subjects
- Computer software, development (1)
Books by Laura Kovács
Total count: 5
-
Tests and Proofs16th International Conference, TAP 2022, Held As Part of STAF 2021, Nantes, France, July 5, 2022, ProceedingsSpringer International Publishing AG2022-01-01
-
Automated Reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, ProceedingsSpringer International Publishing AG2022-01-01
-
Integrated Formal Methods19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, ProceedingsSpringer2024-01-01
-
Reachability Problems18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, ProceedingsSpringer2024-01-01
-
Intelligent Computer Mathematics17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, ProceedingsSpringer2024-01-01