| |||
| параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk) | |||
| |||
| параллельная логика разделения (версия логики, применимая для верификации параллельных вычислений с общей памятью Alex_Odeychuk) | |||
