in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 8997, Pages: 89-107
Conference
11Th International Symposium on Formal Aspects of Component Software, Facs 2014, Date: 10 September 2014 through 12 September 2014, Sponsors: University of Bologna