Measurement, Modelling and Evaluation of Computing Systems More Books by Holger Hermanns

Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2023
Computer Aided Verification Computer Aided Verification
2007