20220520I
Материал из 0x1.tv
Страница-перенаправление
Перенаправление на:
Эксперимент по созданию quick-and-dirty пруверов для оценки завершаемости в рамках рубежного контроля (Антонина Непейвода, OSEDUCONF-2022)