Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // № 14, 2019
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // № 21, 2022
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // № 17, 2020
