FM24: 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Thomas Lemberger
Affiliation: LMU Munich, Germany
Web page: https://www.sosy-lab.org/people/lemberger/
Pages in this Program
Program
Program for Tuesday, September 10th