–
Доклады на научных конференциях
-
- 2012 On the designing of model checkers for real-time distributed systems (Устный)
- Авторы: Коннов И.В., Подымов В.В., Yu D.V., Захаров В.А., Зорин Д.А.
- Семинар "Программные семантики, спецификации и верификация (PSSV)", Нижний Новгород, 2012