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
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings Finkbeiner Bernd Heftet / 2019 / 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 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
Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings Finkbeiner Bernd Heftet / 2022 / Engelsk
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Finkbeiner Bernd Heftet / 2015 / Engelsk
Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Blass Andreas Heftet / 2020 / Engelsk
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday Beklemishev Lev D. Heftet / 2015 / Engelsk
