Computer Aided Verification المزيد من كتب Swarat Chaudhuri & Azadeh Farzan

NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٣
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٦