Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

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 and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola are 9783031737091, 3031737091 and the print ISBNs are 9783031737084, 3031737083. Save up to 80% versus print by going digital with VitalSource.

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 and published by Springer. The Digital and eTextbook ISBNs for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola are 9783031737091, 3031737091 and the print ISBNs are 9783031737084, 3031737083. Save up to 80% versus print by going digital with VitalSource.