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

Проверка моделей ограниченной глубины
Introduction to Verification

What: Lecture
When: Sunday, 04 November 2007, 17:30–19:00
Where: ПОМИ РАН
Slides: verification_lecture_041107.pdf