IFM 2020: INTEGRATED FORMAL METHODS
Yamine Ait Ameur
Affiliation: IRIT/INPT-ENSEEIHT
Web page: http://yamine.perso.enseeiht.fr/
Pages in this Program
Program
Program for Thursday, November 19th