Dependable Software Engineering. Theories, Tools, and Applications More Books by Holger Hermanns, Jun Sun & Lei Bu

Measurement, Modelling and Evaluation of Computing Systems

2020

Computer Aided Verification

2007