Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

MLA

Margaria, Tiziana, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, Isola 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Iii. Cham: Springer, 2024.

APA

Margaria, T., & Steffen, B. (2024). Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III. Cham: Springer.

Chicago

Margaria, Tiziana., and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, Isola 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III. Cham: Springer, 2024.