Kostiukov Iurii
| Student | Kostiukov Iurii |
|---|---|
| Main field of study | 09.04.04 Software Engineering |
| Qualification | Master |
| Title | Automatic inference of regular invariants of programs with algebraic data types |
| Status | No consent for publication |
| Editor | Doctor of Engineering, Associate Professor D.V.Koznov |
| Year | 2021 |