Validation of Evolving Software المزيد من كتب Hana Chockler, Daniel Kroening, Leonardo Mariani & Natasha Sharygina

Computer Aided Verification

٢٠١٨