Milshin Maksim
| Student | Milshin Maksim |
|---|---|
| Main field of study | 01.03.02 Applied Mathematics and Computer Science |
| Qualification | Bachelor |
| Title | Using symbolic execution to verify the results of the static code analyzer for ArkTs language |
| Status | Published |
| Editor | Candidate of Physics and Mathematics D.S.Shalymov |
| Year | 2024 |