Abstract : This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).
https://hal.inria.fr/hal-01016471
Contributor : Gwen Salaün
<>
Submitted on : Monday, June 30, 2014 - 12:24:21 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 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⟩
