Зиборов К.В.- Формальная семантика и верификация ПО - Семинар 4.Логика высшего порядка Isabelle/HOL

Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо