Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings - Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin (Cham Springer International Publishing AG, 2023)