Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6--10, 2023. Proceedings
scientific article; zbMATH DE number 7689857