004
Р26	Рафальський, О. А.     Інтервальна модель та методи формальної верифікації програмного забезпечення систем критичного використання [Текст] : пояснюв. зап. до диплом. роботи магістра : 8.080403 - комп'ютерні науки, програмне забезп. автоматизованних систем : (робота викон на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Каф. інженерії програмного забезп. (№ 603) ; кер. Манжос Ю. С. — Х., 2011. — 73 с. + додатки.