Concurrency, Specification and Programming More Books by Bernd-Holger Schlingloff, Thomas Vogel & Andrzej Skowron

Software Engineering and Formal Methods

2022

Formal Methods for Software Engineering

2022