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

Measurement, Modelling and Evaluation of Computing Systems Measurement, Modelling and Evaluation of Computing Systems
2020
Computer Aided Verification Computer Aided Verification
2007