Abstract : This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).
Corina Pasareanu, Gwen Salaün. Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014. ⟨hal-01016471⟩