Dependable Software Engineering. Theories, Tools, and Applications Más libros de Holger Hermanns, Jun Sun & Lei Bu

Measurement, Modelling and Evaluation of Computing Systems

2020

Computer Aided Verification

2007