Лекция 8. Пример верификации распределенной программы (умножение двух ...