Круглов Леонид Вячеславович

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

1. Структурная теория сложных систем. Модельно-ориентированное программирование
   
   ИТиВС, 2023, № 4,  96–108
2. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения
   
   Труды ИСП РАН, 29:5 (2017),  111–134
3. Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа
   
   Труды ИСП РАН, 28:5 (2016),  159–174