IFM 2020: INTEGRATED FORMAL METHODS
Søren Debois
Affiliation: IT University of Copenhagen
Web page: http://www.itu.dk/~debois
Pages in this Program
Program
Program for Tuesday, November 17th