Maltseva, I. R.; Protsiuk, Y. O.; Chernysh, Y. O.; Tyshchenko, M. H. ПРИНЦИПИ ВИЗНАЧЕННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ЧЕРЕЗ ВИКОРИСТАННЯ ТОЧНОСТНОЇ ТЕОРІЇ. СІТуСБО 2013, 56-59.