Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

MLA

Margaria, Tiziana and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. 1st ed. 2025. Cham : Springer Nature Switzerland : Imprint: Springer, 2025.

APA

Margaria, T. & Steffen, B. (2025). Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. 1st ed. 2025. Cham : Springer Nature Switzerland : Imprint: Springer.

Chicago

Margaria, Tiziana and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV. Edited by Tiziana Margaria and Bernhard Steffen. 1st ed. 2025. Cham : Springer Nature Switzerland : Imprint: Springer, 2025.