004
С32	Сергиенко, В. В.     Инвариантно-ориентированная информационная технология независимой верификации программного обеспечения информационно-управляющих систем критического применения [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 02.03.12 / М-во образования и науки, молодежи и спорта Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х., 2011. — 166 с.