IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Maurice H. ter Beek
Affiliation: ISTI-CNR, Pisa
Web page: http://fmt.isti.cnr.it/~mtbeek
Pages in this Program
Program
Program for Thursday, June 9th