HFM2019: HISTORY OF FORMAL METHODS 2019
Francesco Ranzato
Organization: Dipartimento di Matematica, University of Padova, Italy
Web page: http://www.math.unipd.it/~ranzato
Pages in this Program
Program
Program for Friday, October 11th