Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Autor
Tiziana Margaria, Bernhard Steffen
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031753909
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-75390-9