IFM 2020: INTEGRATED FORMAL METHODS
Tijs Slaats
Affiliation: University of Copenhagen
Web page: https://www.itu.dk/people/tslaats/
Pages in this Program
Program
Program for Tuesday, November 17th