Milova Natalia
| Student | Milova Natalia |
|---|---|
| Main field of study | 09.04.04 Software Engineering |
| Qualification | Master |
| Title | Effective decision procedure for satisfiability problem in the theory of nominal type systems with variance |
| Status | No consent for publication |
| Editor | Doctor of Engineering, Associate Professor D.V.Koznov |
| Year | 2020 |