Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 7. Индуктивные отношения
Teach-In
Индуктивные отношения. Язык структурированных доказательств Isar. Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
20:45
