Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 6. Объявление типов в Isabelle/HOL
Teach-In
Объявление типов в Isabelle/HOL. Рекурсивные функции. Индукция. Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
16:53
