Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
de Tiziana Margaria, Bernhard Steffen
Ediciones (1)
- Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (2022)
Springer · inglés · ISBN 9783031197550





