Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)

International audienceThis issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12)