Validation of Evolving Software Altri libri di Hana Chockler, Daniel Kroening, Leonardo Mariani & Natasha Sharygina

Computer Aided Verification

2018