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

Research output: Patent › Software registration