Шелехов Владимир Иванович

Публикации в базе данных Math-Net.Ru

1. Методы синтеза фрагментов предикатных программ
   
   ПДМ. Приложение, 2016, № 9,  126–128
2. Верификация и синтез программ сложения на базе правил корректности операторов
   
   Модел. и анализ информ. систем, 17:4 (2010),  101–110