SBMF 2025: 28TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS
Frederic Mallet
Affiliation: Universite Nice Sophia-Antipolis
Web page: http://www-sop.inria.fr/members/Frederic.Mallet/
Pages in this Program
Program
Program for Wednesday, December 3rd