Software Engineering and Formal Methods Más libros de Alessandro Cimatti & Marjan Sirjani

Formal Methods for Industrial Critical Systems

2023