Formal methods and software engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, proceedings - Ogata, Kazuhiro; Mery, Dominique; Sun, Meng; Liu, Shaoying (Lecture notes in computer science, 2024)