IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Angelo Ferrando
Affiliation: University of Genova
Web page: https://angeloferrando.github.io/website/
Pages in this Program
Program
Program for Wednesday, June 8th