National Engineering Research Center of Software Engineering, Peking University, Beijing, China · School of Computer Science, Peking University, Beijing, China · Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beijing, China +2
Department of Computer Science, Nottingham Trent University, Nottingham, UK · Department of Physics and Mathematics, Nottingham Trent University, Nottingham, UK
Department of Computer Science National University of Singapore · Department of Computer Science Stanford University · Department of Computer Science City University of Hong Kong