City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
reflect-предикат, мульти-правила переписывания
Introduction to Formal Verification
What:
Lecture
When:
Thursday, 22 April 2021, 22:30–00:00
Where:
Конференция в zoom, Онлайн
Video