IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED 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 Thursday, December 5th