Выборка по ключевым словам

• c1
• c++1
• clang static analyzer1
• контекстно-чувствительный анализ1
• межпроцедурный анализ1
• резюме1
• символьное выполнение1
• статический анализ1

Выборка по автору

• дергачёв, а. в.1
• сидорин, а. в.1

Выборка по журналу

• труды института системного программирования ран1

Выборка по дате публикации