City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
State-event-based reasoning and deadlock detection
Software Verification
What:
Lecture
When:
Thursday, 01 May 2008, 16:20–17:50
Where:
ПОМИ РАН
Slides:
softwareverification_lecture_010508.pdf
Video
