Javier Cámara, Sung-Shik Jongmans, editors, Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Volume 14485 of Lecture Notes in Computer Science, Springer, 2024. [doi]
Conference: facs22024
@proceedings{facs2-2023, title = {Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers}, year = {2024}, doi = {10.1007/978-3-031-52183-6}, url = {https://doi.org/10.1007/978-3-031-52183-6}, researchr = {https://researchr.org/publication/facs2-2023}, cites = {0}, citedby = {0}, booktitle = {Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers}, conference = {facs2}, editor = {Javier Cámara and Sung-Shik Jongmans}, volume = {14485}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-52183-6}, }