Back
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