Text this: Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm : Luận văn ThS. Công nghệ thông tin: 60 48 10

__    __   __   __   ______    __   __            
\ \\ / //  \ \\/ // |      \\  \ \\/ //     ___   
 \ \/ //    \ ` //  |  --  //   \ ` //     /   || 
  \  //      | ||   |  --  \\    | ||     | [] || 
   \//       |_||   |______//    |_||      \__ || 
    `        `-`'   `------`     `-`'       -|_|| 
                                             `-`