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

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

ПОМИ РАН

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

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