Computer Aided Verification Computer Aided Verification
٢٠١٨
Validation of Evolving Software Validation of Evolving Software
٢٠١٥