Oleinikov Andrei
| Student | Oleinikov Andrei |
|---|---|
| Main field of study | 09.03.04 Software Engineering |
| Qualification | Bachelor |
| Title | Automatic Inference of inductive invariants based on catamorphisms for programs with algebraic data types and arithmetic |
| Status | No consent for publication |
| Editor | Candidate of Physics and Mathematics D.A.Mordvinov |
| Year | 2024 |