Долгушин И.В. Тюменцев Е.А.
Исследование возможности применения логики Хоара для верификации программного кода
Докладчик: Долгушин И.В.
| Файл презентации: | Презентация Долгушин.pptx |
К списку докладов
- Главная
- Организаторы
- Программный комитет
- Представление материалов
- Научные направления
- Культурная программа
- Важные даты
- Архив ПМиФИ 2022
- Архив конференций
- Контактная информация
- Участники
- Доклады
- Регистрация/Вход
К списку докладов