Назад
Долгушин И.В.
Тюменцев Е.А.
Исследование возможности применения логики Хоара для верификации программного кода
Докладчик:
Долгушин И.В.
Файл презентации:
Презентация Долгушин.pptx
К списку докладов