أرسل هذا في رسالة قصيرة: Nghiên cứu ứng dụng ngôn ngữ F* trong phát triển phần mềm: Luận văn ThS. Công nghệ thông tin: 60 48 01 03

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