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

__    __     ___      _____    _    _     ______  
\ \\ / //   / _ \\   /  ___|| | || | ||  /_____// 
 \ \/ //   / //\ \\ | // __   | || | ||  `____ `  
  \  //   |  ___  ||| \\_\ || | \\_/ ||  /___//   
   \//    |_||  |_|| \____//   \____//   `__ `    
    `     `-`   `-`   `---`     `---`    /_//     
                                         `-`