City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Практикум по языку тактик SSReflect
Introduction to Formal Verification

What: Seminar
When: Friday, 09 April 2021, 00:30–01:30
Where: Конференция в zoom, Онлайн