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

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

0/0


0/0

0/0

0/0

0/0