Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings Sun Jing Heftet / 2018 / Engelsk
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings David, Cristina Heftet / 2023 / Engelsk
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings Marmsoler, Diego Heftet / 2024 / Engelsk
