Кондратьев Д.А., Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // № 1, 2013
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // № 21, 2022
Гнатенко А.Р., Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // № 17, 2020
