Validation of Evolving Software Mehr Bücher von Hana Chockler, Daniel Kroening, Leonardo Mariani & Natasha Sharygina

Computer Aided Verification

2018