Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings Ábrahám, Erika Heftet / 2024 / Engelsk
Quantitative Evaluation of Systems 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings Ábrahám, Erika Heftet / 2022 / Engelsk
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hojjat, Hossein Heftet / 2023 / Engelsk
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings Ábrahám, Erika Heftet / 2014 / Engelsk
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Ábrahám, Erika Heftet / 2016 / Engelsk
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Ábrahám, Erika Heftet / 2016 / Engelsk
Theoretical Aspects of Computing – ICTAC 2023 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings Ábrahám, Erika Heftet / 2023 / Engelsk