Миронов А.М. - Формальная семантика и верификация ПО - 8.Пример верификации распределенной программы
Teach-In
Пример верификации распределенной программы (умножение двух матриц) Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
1:18:37
