Kostiukov Iurii
| Student | Kostiukov Iurii |
|---|---|
| Main field of study | 09.03.04 Software Engineering |
| Qualification | Bachelor |
| Title | Compositional precise Horn-based verification of heap-manipulating programs |
| Status | No consent for publication |
| Editor | D.А.Mordvinov |
| Year | 2019 |