Подразделения : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Бывшая команда : | ACASA |
- T. Ida, Q. Jiang, D. Wang : “Foundations of Software”, Frontiers of Computer Science in China, vol. 2, pp. 1-93 [Ida 2008]