Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings Marmsoler, Diego Heftet / 2024 / Engelsk
