Подкопаев Антон Викторович

Место работы: Национальный исследовательский университет «Высшая школа экономики», Санкт-Петербург, 194100, Российская Федерация; JetBrains Research, Санкт-Петербург, 194100, Российская Федерация
Должность: доцент, исследователь
Ученая степень: кандидат наук
E-mail: apodkopaev@hse.ru
Scopus ID: 56875418900
ORCID: /0000-0002-9448-6587
Моисеенко Е. А., Гладштейн В. П., Подкопаев А. В., Кознов Д. В.
Формализация языков частично упорядоченных мультимножеств в системе Coq для спецификации слабых моделей памяти

Статья опубликована в выпуске №3, том 22, 2022
Информация 2001-2022 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика