Login / Signup
Aleksey A. Timakov
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Algebraic Operations
Precise Definition
Uml Class Diagrams
Closed World
Top Venues
Program. Comput. Softw.
</>
Publications
</>
Aleksey A. Timakov
Description of Paralocks Language Semantics in TLA+.
Program. Comput. Softw.
50 (1) (2024)
Aleksey A. Timakov
Scenario of Information Flow Analysis Implementation in PL/SQL Program Units with PLIF Platform.
Program. Comput. Softw.
49 (4) (2023)