SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Bruno Cuconato
Affiliation: DI - PUC-Rio, EPGE/FGV
Web page: http://www.inf.puc-rio.br/~bclaro
Pages in this Program
Program
Program for Wednesday, December 3rd