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

Язык тактик SSReflect
Introduction to Formal Verification

What: Lecture
When: Thursday, 08 April 2021, 18:30–20:00
Where: Конференция в zoom, Онлайн

Video