FMIS 2019: 8TH FORMAL METHODS FOR INTERACTIVE SYSTEMS WORKSHOP
Vincenzo Ciancia
Organization: Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY
Pages in this Program
Program
Program for Monday, October 7th