Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/11561
Title: | Compiling verified F* programs to robust web applications |
Other Titles: | Компиляция сертифицированных F*-программ в робастные Web-приложения |
Authors: | Мордвинов Дмитрий Александрович Полубелова Марина Игоревна Polubelova Marina Григорьев Семен Вячеславович Grigorev Semen Viacheslаvovich |
Issue Date: | 2017 |
URI: | http://hdl.handle.net/11701/11561 |
Appears in Collections: | MASTER'S STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Marina_Polubelova.pdf | Article | 205,62 kB | Adobe PDF | View/Open |
reviewSV_Otzyv_nauchnogo_rukovoditelya_na_magisterskuyu_dissertaciyu_Polubelovoj_M_I_.pdf | ReviewSV | 88,14 kB | Adobe PDF | View/Open |
reviewSV_stt01969_Mordvinov_Dmitrij_Aleksandrovich_(reviewer)(Ru).txt | ReviewRev | 8,03 kB | Text | View/Open |
reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_(supervisor)(Ru).txt | ReviewSV | 4,22 kB | Text | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.