Zimin Grigorii
| Student | Zimin Grigorii |
|---|---|
| Main field of study | 02.04.03 Software and Administration of Information Systems |
| Qualification | Master |
| Title | Synthesis of external calls models for symbolic execution |
| Status | No consent for publication |
| Editor | Candidate of Engineering Iu.V.Litvinov |
| Year | 2018 |