IFM 2020: INTEGRATED FORMAL METHODS
Lina Ye
Affiliation: CentraleSupélec and LRI, France
Web page: https://www.lri.fr/~linaye/
Pages in this Program
Program
Program for Thursday, November 19th