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

Статья

Марков А. С., Фадин А. А., Цирлов В. Л.
Концептуальные основы статического анализа безопасности программ / Марков А. С., Фадин А. А., Цирлов В. Л. // Безопасные информационные технологии : Сб. тр. науч.-техн. конф., 3-ей (Москва, 14 ноября 2012 года) / МГТУ им. Н. Э. Баумана ; общ. ред. Матвеев В. А. - М., 2012. - С. 107-110.

УДК
004.9 Прикладные информационные (компьютерные) технологии. Методы, основанные на применении компьютеров

Авторы МГТУ

Марков Алексей Сергеевич

Цирлов Валентин Леонидович

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

с. 107-110

Безопасные информационные технологии : Сб. тр. науч.-техн. конф., 3-ей (Москва, 14 ноября 2012 года) / МГТУ им. Н. Э. Баумана ; общ. ред. Матвеев В. А. - М. : Изд-во НИИ радиоэлектроники и лазерной техники, 2012. - 184 с. : ил. - Библиогр. в конце ст. - ISBN 978-5-4384-0012-7.

подробнее