1
Formal Aspects of Component Software [E-Book] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /