IFM 2020: INTEGRATED FORMAL METHODS
Omar Inverso
Affiliation: Gran Sasso Science Institute L'Aquila
Pages in this Program
Program
Program for Wednesday, November 18th