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