Перейти к основному содержанию
Боковая панель
В начало
Дополнительно
Русский (ru)
Русский (ru)
English (en)
Вход
В начало
Информация о курсе
[F21] Foundations of Software Verification
Teacher:
Andrei Mironov
Teacher:
Nikolay Vasilev