|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
1. |
М. С. Чушкин, “Завершение эскизов предикатных программ методом синтеза через контрпримеры”, ПДМ. Приложение, 2017, № 10, 151–153 |
|
2016 |
2. |
М. С. Чушкин, В. И. Шелехов, “Методы синтеза фрагментов предикатных программ”, ПДМ. Приложение, 2016, № 9, 126–128 |
|