. МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА . Научно-исследовательский вычислительный центр . АНТОНОВ Александр Сергеевич . НОВЫЙ ПОДХОД К МЕЖПРОЦЕДУРНОМУ . АНАЛИЗУ ПРОГРАММ . Специальность 05.13.11 - . математическое и программное обеспечение . вычислительных машин, комплексов, систем и сетей . Автореферат диссертации . на соискание ученой степени . кандидата физико-математических наук . Москва, 1999 .