Миронов А.М. - Формальная семантика и верификация ПО - 12. Протокол Yaholom
Teach-In
Формальная модель криптографических протоколов. Протокол Yaholom Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #верификацияпо
1:24:06
