Подробное описание документа

Статья

Рудаков И. В., Гурин Р. Е.
Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей / Рудаков И. В., Гурин Р. Е. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2016. - № 4. - С. 49-64.

УДК
004.3 Аппаратные средства. Техническое обеспечение

Авторы МГТУ

Рудаков Игорь Владимирович

Статья опубликована в следующих изданиях

с. 49-64

Журнал

Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение.
№ 4. - 2016.

подробнее