Springer International Publishing AG
Springer International Publishing AG Leveraging Applications Of Formal Methods, Verification And Validation. Specification And Verification : 12th International Symposium, Isola 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part