Отзыв научного руководителя о диссертации Л.В. Черноброд "Верификация алголоподобных программ методом индуктивных высказываний". Дата: 23.07.1984 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Персоналии: Людмила Викторовна Черноброд (Суковатицына)
