Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 5. Переписывание термов

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

0/0


0/0

0/0

0/0

0/0