@inproceedings{PerdereauSPCS2026:SEFM,
  author       = {Perdereau, Eloi and Sokolowski, Daniel and Philippe, Jolan and Coullon, Hélène and Salvaneschi, Guido},
  title        = {Formal Verification of Stability in Provisioning Changes with BPlan},
  booktitle    = {Software Engineering and Formal Methods - 24th International Conference,
                  {SEFM} 2026, University of Malta, Malta, November 23-27, 2026, Proceedings},
  series       = {Lecture Notes in Computer Science},
  publisher    = {Springer},
  year         = {2026}
}