Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V - Margaria, Tiziana (Herausgeber); Steffen, Bernhard (Herausgeber) (Lecture Notes in Computer Science, 2025)