Informaçao sobre o Autor
Семенов, В. А.
| Edição | Seção | Título | Arquivo |
| Nº 5 (2024) | THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |