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

MLA

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

APA

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

Chicago

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