Методы и средства статического анализа семантических свойств программ Емельянов, Павел Геннадьевич ВАК РФ 05.13.11 Стр. 1 из 18