Author Details

Семенов, В. А.

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