|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
1. |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский, “Верификация C-программ в мультиязыковой системе СПЕКТР”, Модел. и анализ информ. систем, 17:4 (2010), 88–100 |
6
|
|