IFM 2020: INTEGRATED FORMAL METHODS
Sylvain Hallé
Affiliation: Université du Québec à Chicoutimi
Web page: https://leduotang.ca/sylvain
Pages in this Program
Program
Program for Tuesday, November 17th