Исследование и разработка методов автоматического поиска ошибок в компиляторах языков программирования: специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук