2024 | Book
Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Editors: Javier Cámara, Sung-Shik Jongmans
Publisher: Springer Nature Switzerland
Book Series : Lecture Notes in Computer Science