Validation of Evolving Software Hana Chockler, Daniel Kroening, Leonardo Mariani & Natasha Sharygina: другие книги

Computer Aided Verification

2018