Software Engineering and Formal Methods More Books by Alessandro Cimatti & Marjan Sirjani

Formal Methods for Industrial Critical Systems

2023