Company or Institution
Chinese Academy of Sciences
 
Contact
Home page: http://www.iscas.ac.cn/english/people/zhouchaochen.htm
Research Interests
- Formal technique for programming, including formal semantics, specification, verification and design calculi for computing systems.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet