Formal Aspects of Component Software More Books by Gwen Salaün & Anton Wijs

Software Engineering and Formal Methods

2019

Software Technologies: Applications and Foundations

2018

Formal Methods for Industrial Critical Systems

2011