Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers by Javier Cámara | Menrva Books | MenrvaBooks