FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Yi Lv
Affiliation: Institute of Software, Chinese Academy of Sciences
Web page: http://lcs.ios.ac.cn/~lvyi/
Pages in this Program
ITP on Monday, August 8th
ITP Program
Program
Program for Monday, August 8th
Slides
Slides