Software Engineering and Formal Methods Mais livros de Alessandro Cimatti & Marjan Sirjani

Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2023