Polubelova Marina
| Student | Polubelova Marina |
|---|---|
| Main field of study | 02.04.03 Software and Administration of Information Systems |
| Qualification | Master |
| Title | Compiling verified F* programs to robust web applications |
| Status | Published |
| Editor | Candidate of Physics and Mathematics S.V.Grigorev |
| Year | 2017 |