Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

MLA

Margaria, Tiziana, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, Isola 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part Ii. Cham: Springer, 2022.

APA

Margaria, T., & Steffen, B. (2022). Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Cham: Springer.

Chicago

Margaria, Tiziana., and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, Isola 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II. Cham: Springer, 2022.