Долгушин И.В.   Тюменцев Е.А.  

Исследование возможности применения логики Хоара для верификации программного кода

Докладчик: Долгушин И.В.