FM24: 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Jie Wang
Affiliation: Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Web page: https://wangjie212.github.io/jiewang/
Pages in this Program
Program
Program for Friday, September 13th
Program for Wednesday, September 11th