Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

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