Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // № 16, 2020
Касьянов В.Н., Касьянова Е.В. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований // № 19, 2021
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // № 18, 2021
Тумуров Э.Г., Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // № 16, 2020
