Дослідження методів і технологій підтримки прийняття рішення в області верифікації програмного забезпечення - Чередниченко, А. В. (Національний технічний університет "Харківський політехнічний інститут", 2013)
Keywords: інформаційні технології; програмне забезпечення (ПЗ); верифікація ПЗ; методи валідації