Тестирование на основе формальных спецификаций в процессах разработки программных комплексов
Петренко Александр Константинович. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : диссертация ... доктора физико-математических наук в форме науч. доклада : 05.13.11.- Москва, 2003.- 59 с.: ил. РГБ ОД, 71 05-1/20
