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

Дедуктивная LTL верификация
Introduction to Verification

What: Lecture
When: Sunday, 21 October 2007, 19:00–20:30
Where: ПОМИ РАН
Slides: verification_lecture_211007.pdf