2.От алгоритма до прода_ как подойти к верификации распределенных систем_Никита Галушко_вер.2.pdf