Dolgushin I.V. Tyumentsev E.A.
Exploring the possibility of applying Hoare logic to the verification of program code
Reporter: Dolgushin I.V.
| Presentation file: | Презентация Долгушин.pptx |
To reports list
To reports list
PMFI-2023
XII International research to practice conference for young researchers with elements of a scientific school dedicated to the 110th anniversary of Leonid Vitalievich Kantorovich, an academician of the Russian Academy of Sciences
Omsk, Russia, 16 May - 21 May, 2022
To reports list