Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Dublin Core Títol Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Autor Tiziana Margaria, Bernhard Steffen Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2025 Identificador 9783031737091 Font https://doi.org/10.1007/978-3-031-73709-1 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
