MPG.eBooks - Author Search Results

Cover Image

1

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...Kovács, Laura...”

Cover Image

2

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings

Published 2024

Springer Nature Switzerland

Other Authors: “...Kovács, Laura...”

Cover Image

3

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2024

Springer Nature Switzerland

Other Authors: “...Kovács, Laura...”

Cover Image

4

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2024

Springer Nature Switzerland

Other Authors: “...Kovács, Laura...”

Cover Image

5

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2024

Springer Nature Switzerland

Other Authors: “...Kovács, Laura...”

Cover Image

6

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...Kovács, Laura...”