cotalks.dev

Алексей Найденов

Videos

1 — Воркшоп: TLA+/TLC: практичный инструмент формальной верификаций алгоритмов

GopherCon Russia 2020 August