@book{Ferreira25,
  title      = {Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings},
  ISBN       = {9783031954979},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-031-95497-9},
  journal    = {Lecture Notes in Computer Science},
  publisher  = {Springer Nature Switzerland},
  year       = {2025},
}