|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022), 49–62 |
1
|
|
2019 |
2. |
Ю. О. Костюков, К. А. Батоев, Д. А. Мордвинов, М. П. Костицын, А. В. Мисонижник, “Автоматическое доказательство корректности программ с динамической памятью”, Труды ИСП РАН, 31:5 (2019), 37–62 |
|
2017 |
3. |
L. D. Kanteev, Yu. O. Kostyukov, D. V. Luciv, D. V. Koznov, M. N. Smirnov, “Discovering near duplicate text in software documentation”, Труды ИСП РАН, 29:4 (2017), 303–314 |
|