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 of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III Finkbeiner Bernd Heftet / 2024 / Engelsk
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 of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II Finkbeiner Bernd Heftet / 2024 / Engelsk
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 of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I Finkbeiner Bernd Heftet / 2024 / Engelsk
Tests and Proofs 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings Kovács, Laura Heftet / 2022 / Engelsk
Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings Kosmatov, Nikolai Heftet / 2024 / Engelsk
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings Kovács, Laura Heftet / 2024 / Engelsk
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings Kohlhase, Andrea Heftet / 2024 / Engelsk
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings Blanchette Jasmin Heftet / 2022 / Engelsk
