IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Alexandra Mendes
Affiliation: INESC TEC & Faculty of Engineering, University of Porto, Portugal
Web page: https://archimendes.com/
Pages in this Program
Program
Program for Friday, June 10th