Author Details

Stupnikov, Sergey, Russian Federation

  • Vol 14, No 1 (2026) - Theoretical Informatics and Computer Science
    On the Features of a Formal Semantics of an Imperative Language for the Data Integration Program Verification
    Abstract  PDF (Russian)