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

            _____                ___      _____   
  ____     |  ___||     ___     / _ \\   /  ___|| 
 |    \\   | ||__      /   ||  | / \ || | // __   
 | [] ||   | ||__     | [] ||  | \_/ || | \\_\ || 
 |  __//   |_____||    \__ ||   \___//   \____//  
 |_|`-`    `-----`      -|_||   `---`     `---`   
 `-`                     `-`