Чушкин Михаил Сергеевич

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

1. Завершение эскизов предикатных программ методом синтеза через контрпримеры
   
   ПДМ. Приложение, 2017, № 10,  151–153
2. Методы синтеза фрагментов предикатных программ
   
   ПДМ. Приложение, 2016, № 9,  126–128