IFM 2020: INTEGRATED FORMAL METHODS
Luigia Petre
Affiliation: Åbo Akademi University
Web page: http://users.abo.fi/lpetre/
Pages in this Program
Program
Program for Tuesday, November 17th