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

Dependable Software Engineering. Theories, Tools, and Applications

Computer Aided Verification