Город: Санкт-Петербург Казань Язык: Русский English

Арист Александрович Кожевников

ПОМИ РАН

Личная страница: http://logic.pdmi.ras.ru/~arist/

Прочтения курсов

Курс Семестр
О современных методах автоматической формальной верификации аппаратного обеспечения весна 2010