Цесько Вадим Александрович

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

1. Использование зависимостей для повышения точности статического анализа программ
   
   Модел. и анализ информ. систем, 18:4 (2011),  68–79
2. Статический анализ с использованием систем типов и эффектов на основе LLVM
   
   Модел. и анализ информ. систем, 18:4 (2011),  45–55