Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings - Nikolai Kosmatov; Kovács, Laura (Springer Nature, 2024)