Moiseenko Evgenii A.

Work place: Saint Petersburg State University, Saint Petersburg, 199034, Russian Federation; JetBrains Research, Saint Petersburg, 194100, Russian Federation
Post: PhD Student; Researcher
E-mail: e.moiseenko@2012.spbu.ru
Scopus ID: 57219492685
ORCID: 0000-0003-2715-1143
Moiseenko E. A., Gladstein V. P., Podkopaev A. V., Koznov D. V.
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models

The article was published in issue 3, volume 22, 2022
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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