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

MLA

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

APA

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

Chicago

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