Научный руководитель: Чемерицкий Евгений Курс: 3Группа: 321 Название курсовой работы 1-2: методы верификации программ