HFM2019: HISTORY OF FORMAL METHODS 2019
Marie-Claude Gaudel
Organization: Universit´┐Ż de Paris-Sud, Orsay
Web page: http://www.lri.fr/~mcg
Pages in this Program
Program
Program for Friday, October 11th