Author Evgenii A. Moiseenko Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 5 ( september-october )

ISSN 2226-1494 (print), ISSN 2500-0373 (online)

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

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.