Batoev Konstantin
| Student | Batoev Konstantin |
|---|---|
| Main field of study | 02.03.03 Software and Administration of Information Systems |
| Qualification | Bachelor |
| Title | Compositional symbolic execution of CIL code |
| Status | No consent for publication |
| Editor | D.А.Mordvinov |
| Year | 2019 |