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