Vasenina Anna
| Student | Vasenina Anna |
|---|---|
| Main field of study | 09.04.04 Software Engineering |
| Qualification | Master |
| Title | Synchronised tree automata as invariant representations of programs with algebraic data types |
| Status | No consent for publication |
| Editor | Candidate of Physics and Mathematics D.А.Mordvinov |
| Year | 2022 |