FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Zhengfeng Yang
Organization: Shanghai Key Lab of Trustworthy Computation, East China Normal UNiversity, Shanghai 200062, China
Web page: http://faculty.ecnu.edu.cn/yangzhengfeng
Pages in this Program
Program
Program for Wednesday, November 9th