FM 2019: 23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Franco Mazzanti
Organization: Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche (ISTI-CNR)
Web page: http://www.isti.cnr.it
Pages in this Program
Program
Program for Wednesday, October 9th