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

Системы переходов для моделирования систем
Introduction to Verification

What: Lecture
When: Saturday, 20 October 2007, 18:40–20:10
Where: ПОМИ РАН
Slides: verification_lecture_201007.pdf