أرسل هذا في رسالة قصيرة: 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

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