Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке С#диссертация