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

Верификация распределенных систем, TLA+
Theory of Distributed Computing

What: Lecture
When: Saturday, 30 November 2019, 19:00–20:30
Where: ПОМИ РАН

Video