Computer Science Club

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

ПОМИ РАН

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

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