Menshchikov Maksim
| Student | Menshchikov Maksim |
|---|---|
| Main field of study | 02.04.02 Fundamental Informatics and Information Technology |
| Qualification | Master |
| Title | Hybrid system of static analysis with proof-based verification of invariants |
| Status | No consent for publication |
| Editor | Candidate of Physics and Mathematics M.V.Korovkin |
| Year | 2018 |