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

Заключение и чего же ожидать в экзамене
Introduction to Verification

What: Lecture
When: Sunday, 04 November 2007, 19:15–20:45
Where: ПОМИ РАН
Slides: verification_lecture_041107.pdf