[ДМК] Введение в формальные методы верификации программ [Александр Камкин] [ДМК] Введение в формальные методы верификации программ [Александр Камкин] Этот курс появится в скором времени на форуме SLIV-INFO.BIZ Проверьте по поиску форума...