@inproceedings{DBLP:conf/sefm/FervariI24,
  author       = {Raul Fervari and
                  Benjamin Icard},
  editor       = {Jos{\'{e}} Proen{\c{c}}a and
                  Raul Fervari and
                  Manuel A. Martins and
                  Reinhard Kahle and
                  Graham Pluck},
  title        = {Arbitrary Radical Upgrades},
  booktitle    = {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},
  pages        = {36--49},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-94748-3\_3},
  doi          = {10.1007/978-3-031-94748-3\_3},
  timestamp    = {Thu, 21 Aug 2025 22:05:48 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/FervariI24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"bkSynLFEKAJ6t6mZJ","bibbaseid":"fervari-icard-arbitraryradicalupgrades-2024","author_short":["Fervari, R.","Icard, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Icard"],"suffixes":[]}],"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":"Arbitrary Radical Upgrades","booktitle":"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","pages":"36–49","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-94748-3\\_3","doi":"10.1007/978-3-031-94748-3_3","timestamp":"Thu, 21 Aug 2025 22:05:48 +0200","biburl":"https://dblp.org/rec/conf/sefm/FervariI24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sefm/FervariI24,\n author = {Raul Fervari and\n Benjamin Icard},\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 = {Arbitrary Radical Upgrades},\n booktitle = {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 pages = {36--49},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-94748-3\\_3},\n doi = {10.1007/978-3-031-94748-3\\_3},\n timestamp = {Thu, 21 Aug 2025 22:05:48 +0200},\n biburl = {https://dblp.org/rec/conf/sefm/FervariI24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fervari, R.","Icard, B."],"editor_short":["Proença, J.","Fervari, R.","Martins, M. A.","Kahle, R.","Pluck, G."],"key":"DBLP:conf/sefm/FervariI24","id":"DBLP:conf/sefm/FervariI24","bibbaseid":"fervari-icard-arbitraryradicalupgrades-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-94748-3\\_3"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["HJM7dqFRHjcZZmjge"],"keywords":[],"search_terms":["arbitrary","radical","upgrades","fervari","icard"],"title":"Arbitrary Radical Upgrades","year":2024}