FM24: 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Rajarshi Roy
Affiliation: Max Planck Institute for Software Systems, Kaiserslautern, Germany
Web page: https://rajarshi008.github.io/
Pages in this Program
Program
Program for Thursday, September 12th