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. Cham: Springer, 2024.

APA

Margaria, T., & Steffen, B. (2024). 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. Cham: 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. Cham: Springer, 2024.