Gladstein Vladimir P.

Work place: Saint Petersburg State University, Saint Petersburg, 199034, Russian Federation; JetBrains Research, Saint Petersburg, 194100, Russian Federation
Post: Student; Researcher
E-mail: vovaglad00@gmail.com
ORCID: 0000-0001-9233-3133
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.

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