City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Доказательства на разные темы, разбор необходимости проверок структурной рекурсии, строгой позитивности, исключение Type:Type
Introduction to Formal Verification
What:
Seminar
When:
Thursday, 20 May 2021, 20:30–21:30
Where:
Конференция в zoom, Онлайн
