City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Software Verification
Software Verification
What:
Lecture
When:
Saturday, 22 May 2010, 18:15–19:45
Where:
ПОМИ РАН
Slides:
softwareverification_lecture_220510.pdf
