@proceedings{DBLP:conf/sefm/2024w,
  editor       = {Jos{\'{e}} Proen{\c{c}}a and
                  Raul Fervari and
                  Manuel A. Martins and
                  Reinhard Kahle and
                  Graham Pluck},
  title        = {Software Engineering and Formal Methods. {SEFM} 2024 Collocated Workshops
                  - ReacTS 2024 and {CIFMA} 2024, Aveiro, Portugal, November 4-5, 2024,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {15551},
  publisher    = {Springer},
  year         = {2026},
  url          = {https://doi.org/10.1007/978-3-031-94748-3},
  doi          = {10.1007/978-3-031-94748-3},
  isbn         = {978-3-031-94747-6},
  timestamp    = {Thu, 21 Aug 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/2024w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"szXfr3iRYDYThj2Yv","bibbaseid":"proena-fervari-martins-kahle-pluck-softwareengineeringandformalmethodssefm2024collocatedworkshopsreacts2024andcifma2024aveiroportugalnovember452024revisedselectedpapers-2026","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["José"],"propositions":[],"lastnames":["Proença"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Manuel","A."],"propositions":[],"lastnames":["Martins"],"suffixes":[]},{"firstnames":["Reinhard"],"propositions":[],"lastnames":["Kahle"],"suffixes":[]},{"firstnames":["Graham"],"propositions":[],"lastnames":["Pluck"],"suffixes":[]}],"title":"Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers","series":"Lecture Notes in Computer Science","volume":"15551","publisher":"Springer","year":"2026","url":"https://doi.org/10.1007/978-3-031-94748-3","doi":"10.1007/978-3-031-94748-3","isbn":"978-3-031-94747-6","timestamp":"Thu, 21 Aug 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sefm/2024w.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/sefm/2024w,\n editor = {Jos{\\'{e}} Proen{\\c{c}}a and\n Raul Fervari and\n Manuel A. Martins and\n Reinhard Kahle and\n Graham Pluck},\n title = {Software Engineering and Formal Methods. {SEFM} 2024 Collocated Workshops\n - ReacTS 2024 and {CIFMA} 2024, Aveiro, Portugal, November 4-5, 2024,\n Revised Selected Papers},\n series = {Lecture Notes in Computer Science},\n volume = {15551},\n publisher = {Springer},\n year = {2026},\n url = {https://doi.org/10.1007/978-3-031-94748-3},\n doi = {10.1007/978-3-031-94748-3},\n isbn = {978-3-031-94747-6},\n timestamp = {Thu, 21 Aug 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sefm/2024w.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Proença, J.","Fervari, R.","Martins, M. A.","Kahle, R.","Pluck, G."],"key":"DBLP:conf/sefm/2024w","id":"DBLP:conf/sefm/2024w","bibbaseid":"proena-fervari-martins-kahle-pluck-softwareengineeringandformalmethodssefm2024collocatedworkshopsreacts2024andcifma2024aveiroportugalnovember452024revisedselectedpapers-2026","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-031-94748-3"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["HJM7dqFRHjcZZmjge"],"keywords":[],"search_terms":["software","engineering","formal","methods","sefm","2024","collocated","workshops","reacts","2024","cifma","2024","aveiro","portugal","november","2024","revised","selected","papers"],"title":"Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers","year":2026}