@book{Ferreira23,
  title      = {Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
  ISBN       = {9783031471155},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-031-47115-5},
  journal    = {Lecture Notes in Computer Science},
  publisher  = {Springer Nature Switzerland},
  year       = {2023},
}