Holger Hermanns

Books
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2023
Measurement, Modelling and Evaluation of Computing Systems Measurement, Modelling and Evaluation of Computing Systems
Measurement, Modelling and Evaluation of Computing Systems
2020
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2007