Research output

1. Программный комплекс автоматизированной отладки фрагментированных программ ADAPT для системы LuNA на базе комбинации методов статического анализа и анализа по трассе

   Research output: Patent › Software registration

2. Основы параллельного программирования: практический курс

   Research output: Book/Report › Teaching manual › peer-review

3. Программный комплекс автоматизированного обнаружения семантических ошибок для программ в системе LuNA методом «посмертного» анализа

   Research output: Patent › Software registration

View all (14) »