Validation of Evolving Software Más libros de Hana Chockler, Daniel Kroening, Leonardo Mariani & Natasha Sharygina

Computer Aided Verification

2018