Анализ свойств и эквивалентные преобразования на моделях программ Сабельфельд, Виктор Карлович ВАК РФ 05.13.11 Стр. 1 из 31