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

   Статья

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

УДК

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

Авторы МГТУ

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

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

с. 49-64

   Журнал

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

подробнее