SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Elaheh Hosseinkhani
Affiliation: University of Lübeck, INSTITUTE FOR SOFTWARE ENGINEERING AND PROGRAMMING LANGUAGES
Web page: https://www.isp.uni-luebeck.de/staff/e-hosseinkhani
Pages in this Program
Program
Program for Friday, December 5th