City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Упражнения на тип-произведение, тип-сумму, пустой тип и единичный тип
Introduction to Formal Verification
What:
Seminar
When:
Friday, 19 March 2021, 00:30–01:30
Where:
Конференция в zoom, Онлайн