ID2019: ID@FM'19 (INDUSTRY DAY - FORMAL METHODS 2019)
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 Friday, October 11th