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 - Vũ, Quang Hưng (ĐHCN, 2017)
38 tr. + CD-ROM