SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Marc Frappier
Affiliation: Université de Sherbrooke
Web page: http://info.usherbrooke.ca/mfrappier
Pages in this Program
Program
Program for Wednesday, December 3rd