HFM2019: HISTORY OF FORMAL METHODS 2019
PROGRAM
AUTHORS
KEYWORDS
SLIDES
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
Disclaimer
|
Powered by EasyChair Smart Program