APA (7th ed.) Citation

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Chersonēsos, Margaria, T., & Steffen, B. (2025). Leveraging applications of formal methods, verification and validation: Application areas : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part V (1st ed. 2025.). Springer. https://doi.org/10.1007/978-3-031-75390-9

Chicago Style (17th ed.) Citation

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Chersonēsos, Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V. 1st ed. 2025. Cham, Switzerland: Springer, 2025. https://doi.org/10.1007/978-3-031-75390-9.

MLA (9th ed.) Citation

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Chersonēsos, et al. Leveraging Applications of Formal Methods, Verification and Validation: Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V. 1st ed. 2025. Springer, 2025. https://doi.org/10.1007/978-3-031-75390-9.