|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2008 |
1. |
М. А. Потапов, Е. А. Шатохин, “Некоторые методы автоматизированного анализа и управляемого преобразования программ”, Автомат. и телемех., 2008, № 8, 176–186 ; M. A. Potapov, E. A. Shatokhin, “Some methods of automatic analysis and controllable transformation of programs”, Autom. Remote Control, 69:8 (2008), 1433–1443 |
|