Hana Chockler

الكتب
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٨
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
٢٠١٥