Integrated formal methods 19th international conference, IFM 2024, Manchester, UK, November 13-15, 2024, proceedings - Kosmatov, Nikolai; Kovács, Laura (Lecture notes in computer science, 2025)