Back
Dolgushin, Ivan Viktorovich
Student
Омский государственный технический университет
http://www.omgtu.ru/
Russia, 644050, Omsk, пр. Мира 11
Phone: (3812) 72−90−55
Report
Dolgushin I.V.
*
,
Tyumentsev E.A.
*
Exploring the possibility of applying Hoare logic to the verification of program code
*
Омский государственный технический университет (Omsk), Russia
To participants list