IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
S. Lizeth Tapia Tarifa
Affiliation: University of Oslo
Web page: http://www.mn.uio.no/ifi/english/people/aca/sltarifa/
Pages in this Program
Program
Program for Friday, June 10th