Учебные издания ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ Медведева С. А., Лукин М. А., Олехнович А. О., Яминов Б. Р.
