Смелянский Тимофей Русланович

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

1. Статистическая проверка неисполняемости фрагментов кода последовательной программы
   
   Информ. и её примен., 7:2 (2013),  50–54