發送短信 : Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm

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