А
151919	Сергієнко, Володимир Володимирович.     Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосуваня [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Сергієнко Володимир Володимирович ; М-во освіти і науки, молоді та спорту України ; Нац. аерокосмічний ун-т ім. М.Є. Жуковського "Харк. авіаційний ін-т". — Харків, 2012. — 21 с.