Author Details
Makisha, E. V.
| Issue | Section | Title | File |
| No 5 (2024) | THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |
 (Rus) |