Шатохин Е А

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

1. Некоторые методы автоматизированного анализа и управляемого преобразования программ
   
   Автомат. и телемех., 2008, № 8,  176–186