Петрик В. Л. Метод дескрипторного контроля семантической корректности программного обеспечения / В. Л. Петрик // Системи упр., навігації та зв'язку. - 2007. - Вип. 4. - С. 140-143. - Библиогр.: 7 назв. - рус.
Рассмотрен метод доказательства частичной корректности программного обеспечения в условиях неопределенных проектных спецификаций и ограниченных ресурсов, основанный на анализе физических размерностей программных переменных.
Шифр НБУВ: Ж73223Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"