Долгушин, Иван Викторович
СтудентОмский государственный технический университет
http://www.omgtu.ru/
Россия, 644050, Омск, пр. Мира 11
Телефон: (3812) 72−90−55
Доклад
- Долгушин И.В.*, Тюменцев Е.А.*
Исследование возможности применения логики Хоара для верификации программного кода
*Омский государственный технический университет (Омск), Россия