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

Программный анализ и формальные методы верификации (Natasha Sharygina) - продолжение
Mini-courses by Professors of Lugano University

What: Lecture
When: Sunday, 06 September 2015, 13:00–14:35
Where: ПОМИ РАН

Video