Author Anton V. Podkopaev Journal Scientific and Technical Of Information Technologies, Mechanics and Optics

2024 , VOLUME 24, NUMBER 6 ( november-december )

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

Menu

Publications

Editor-in-Chief

Nikiforov
Vladimir O.
D.Sc., Prof.

Partners

Podkopaev Anton V.

Work place: HSE University, Saint Petersburg, 194100, Russian Federation; JetBrains Research, Saint Petersburg, 194100, Russian Federation
Post: Associate Professor; Researcher
Degree: PhD
E-mail: apodkopaev@hse.ru
Scopus ID: 56875418900
ORCID: /0000-0002-9448-6587

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.