APA (7th ed.) Citation

REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday Chersonēsos, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Margaria, T., & Steffen, B. (2025). Leveraging applications of formal methods, verification and validation: REoCAS Colloquium in honor of Rocco De Nicola : 12th international symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, proceedings, part I (1st ed. 2025.). Springer. https://doi.org/10.1007/978-3-031-73709-1

Chicago Style (17th ed.) Citation

REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday Chersonēsos, Verification and Validation International Symposium on Leveraging Applications of Formal Methods, Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I. 1st ed. 2025. Cham, Switzerland: Springer, 2025. https://doi.org/10.1007/978-3-031-73709-1.

MLA (9th ed.) Citation

REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday Chersonēsos, et al. Leveraging Applications of Formal Methods, Verification and Validation: REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I. 1st ed. 2025. Springer, 2025. https://doi.org/10.1007/978-3-031-73709-1.