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

Логика линейного времени
Introduction to Verification

What: Lecture
When: Sunday, 21 October 2007, 17:15–18:45
Where: ПОМИ РАН
Slides: verification_lecture_211007.pdf