Статья
Формализация языков частично упорядоченных мультимножеств в системе Coq для спецификации слабых моделей памяти
Июнь 2022