Maltseva, I.R., Protsiuk, Y.O., Chernysh, Y.O. і Tyshchenko, M.H. 2013. ПРИНЦИПИ ВИЗНАЧЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ЧЕРЕЗ ВИКОРИСТАННЯ ТОЧНОСТНОЇ ТЕОРІЇ. Сучасні інформаційні технології у сфері безпеки та оборони. 3(18) (Лис 2013), 56–59. DOI:https://doi.org/10.33099/2311-7249/2013-0-3(18)-56-59.