Software Engineering and Formal Methods Plus de livres par Alessandro Cimatti & Marjan Sirjani

Formal Methods for Industrial Critical Systems

2023