Bernd-Holger Schlingloff

Books

Concurrency, Specification and Programming Concurrency, Specification and Programming
Concurrency, Specification and Programming
2023
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2022
Formal Methods for Software Engineering Formal Methods for Software Engineering
Formal Methods for Software Engineering
2022