Statistics
Total Visits
Views | |
---|---|
Compiling verified F* programs to robust web applications | 126 |
Total Visits per Month
January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | |
---|---|---|---|---|---|---|---|
Compiling verified F* programs to robust web applications | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
File Downloads
Views | |
---|---|
Marina_Polubelova.pdf | 34 |
reviewSV_Otzyv_nauchnogo_rukovoditelya_na_magisterskuyu_dissertaciyu_Polubelovoj_M_I_.pdf | 25 |
reviewSV_stt01969_Mordvinov_Dmitrij_Aleksandrovich_(reviewer)(Ru).txt | 9 |
reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_(supervisor)(Ru).txt | 7 |
3 |
Top Country Views
Views | |
---|---|
France | 32 |
United States | 20 |
Russia | 19 |
United Kingdom | 13 |
Finland | 11 |
Germany | 7 |
Vietnam | 6 |
China | 3 |
Romania | 3 |
Brazil | 2 |
Top City Views
Views | |
---|---|
Southend | 10 |
St Petersburg | 6 |
San Mateo | 5 |
Ashburn | 3 |
Ashford | 3 |
Cluj-Napoca | 3 |
Moscow | 2 |
Cirebon | 1 |
Des Moines | 1 |
Dublin | 1 |