Grigorev Savelii
| Student | Grigorev Savelii |
|---|---|
| Main field of study | 01.03.02 Applied Mathematics and Computer Science |
| Qualification | Bachelor |
| Title | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine |
| Status | Published |
| Editor | Candidate of Physics and Mathematics D.A.Mordvinov |
| Year | 2023 |