Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 2. Доказательства в Isabelle
Teach-In
Лямбда-исчисление (продолжение). Доказательства в Isabelle Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
7:35
