Gladshtein Vladimir
| Student | Gladshtein Vladimir |
|---|---|
| Main field of study | 01.03.01 Mathematics |
| Qualification | Bachelor |
| Title | Verification of model checking algorithm for concurrent programs in the Coq theorem prover |
| Status | Published |
| Editor | Candidate of Physics and Mathematics D.Iu.Bulychev |
| Year | 2022 |