SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Edward Hermann Haeusler
Affiliation: PUC-Rio
Web page: http://www.inf.puc-rio.br/~hermann
Pages in this Program
Program
Program for Wednesday, December 3rd