IFM 2020: INTEGRATED FORMAL METHODS
Emil Sekerinski
Affiliation: McMaster University
Web page: http://www.cas.mcmaster.ca/~emil
Pages in this Program
Program
Program for Thursday, November 19th