机构
*
Statistical Laboratory, CMS University of Cambridge(统计实验室,计算机科学与应用数学系,剑桥大学)
;
SequeL team INRIA Lille - Nord Europe(SequeL团队,法国国家信息与自动化研究所里尔-北欧洲研究中心)
机构
*
School of Software Technology, Zhejiang University(浙江大学软件学院)
;
Institute of Software, Chinese Academy of Sciences(中国科学院软件研究所)
;
Ningbo Global Innovation Center, Zhejiang University(浙江大学宁波全球创新中心)
;
Washington University in St. Louis(圣路易斯华盛顿大学)
;
University of Science and Technology of China(中国科学技术大学)
;
College of Computer Science and Technology, Zhejiang Normal University(浙江师范大学计算机科学与技术学院)
;
China Electronics Technology Design and Research Institute(中国电子技术设计与研究院)