Петрик Валерія Леонідівна. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі : Дис... канд. наук: 05.13.06 - 2009.