Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

MLA

Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium In Honor of Rocce De Nicola: 12th International Symposium, Isola 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I. Springer Nature, 2024.

APA

Tiziana Margaria, T. Margaria, & Steffen, B. (2024). Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I. Springer Nature.

Chicago

Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium In Honor of Rocce De Nicola: 12th International Symposium, Isola 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I. : Springer Nature, 2024.