МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М.В. ЛОМОНОСОВА

Научно-исследовательский вычислительный центр

АНТОНОВ Александр Сергеевич

НОВЫЙ ПОДХОД К МЕЖПРОЦЕДУРНОМУ

АНАЛИЗУ ПРОГРАММ

Специальность 05.13.11 -
математическое и программное обеспечение
вычислительных машин, комплексов, систем и сетей

Автореферат диссертации
на соискание ученой степени
кандидата физико-математических наук

Москва, 1999