From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ter Beek, Maurice H. Heftet / 2019 / Engelsk
Quality of Information and Communications Technology 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings Bertolino, Antonia Heftet / 2024 / Engelsk
