Вернуться к Подробностям о статье Верификация программ на основе соотношений подобия Скачать Скачать PDF