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
Autor
Tiziana Margaria, Bernhard Steffen
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031737091
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-73709-1