SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Martin Leucker
Affiliation: University of Luebeck
Web page: http://www.isp.uni-luebeck.de/leucker
Pages in this Program
Program
Program for Friday, December 5th