Holger Schlingloff

Holger Schlingloff

2 books in the database

Books

Concurrency, Specification and ProgrammingHolger Schlingloff

Concurrency, Specification and Programming

Holger Schlingloff · 2024

Software Engineering and Formal MethodsHolger Schlingloff

Software Engineering and Formal Methods

Holger Schlingloff · 2023