Статья ПОИСК ПРОГРАММНЫХ КОМПОНЕНТ ДЛЯ ПОВТОРНОГО ИСПОЛЬЗОВАНИЯ С ПОМОЩЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ Шедько О. Г., Окулевич В. В.