Abstract : This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).
Document type :
Directions of work or proceedings
Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014
https://hal.inria.fr/hal-01016471
Contributor : Gwen Salaün <>
Submitted on : Monday, June 30, 2014 - 12:24:21 PM
Last modification on : Wednesday, October 7, 2015 - 1:16:28 AM
Document(s) archivé(s) le : Tuesday, September 30, 2014 - 3:20:17 PM
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>
