Acad. of Mathematics and System Sci., Chinese Acad. of Sciences, Beijing について
Jin Zhi について
Acad. of Mathematics and System Sci., Chinese Acad. of Sciences; Key Lab. of High Confidence Software Technologies ... について
Key Lab. of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing について
Li Lixing について
Acad. of Mathematics and System Sci., Chinese Acad. of Sciences, Beijing について
Xiaoxing Weixing Jisuanji Xitong について
Web について