Book Title: Formal Aspects of Component Software
Book Subtitle: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Editors: Javier Cámara, Sung-Shik Jongmans
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-52183-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Softcover ISBN: 978-3-031-52182-9Published: 13 January 2024
eBook ISBN: 978-3-031-52183-6Published: 12 January 2024
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXII, 229
Number of Illustrations: 25 b/w illustrations, 40 illustrations in colour