Software Engineering and Formal Methods More Books by Bernd-Holger Schlingloff & Ming Chai

Concurrency, Specification and Programming

2023

Formal Methods for Software Engineering

2022