IFM 2020: INTEGRATED FORMAL METHODS
Lars van den Haak
Affiliation: Eindhoven University of Technology
Web page: https://lvandenhaak.nl/
Pages in this Program
Program
Program for Tuesday, November 17th