in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 7542 LNCS, Pages: 218-236
Conference
10Th International Symposium on Formal Methods for Components and Objects, Fmco 2011, Date: 3 October 2011 through 5 October 2011, Location: Turin, Sponsors: COST Action IC0701;Museo Regionale di Scienze Naturali (MRSN);University of Turin