Text this: 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

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