Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

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},
}