發送短信 : 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

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