Validation of Evolving Software More Books by Hana Chockler, Daniel Kroening, Leonardo Mariani & Natasha Sharygina

Computer Aided Verification

2018