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

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