IFM 2020: INTEGRATED FORMAL METHODS
Malte Mues
Affiliation: TU Dortmund
Web page: https://ls14-www.cs.tu-dortmund.de/cms/en/staff/wimis/Mues.html
Pages in this Program
Program
Program for Tuesday, November 17th