ĐẠI HỌC YALE MỘT SỐ CẢI TIẾN PHƯƠNG PHÁP KIỂM CHỨNG GIẢ ĐỊNH - ĐẢM BẢO CHO PHẦN MỀM DỰA TRÊN THÀNH PHẦN