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ünConnect in order to contact the contributor Submitted on : Monday, June 30, 2014 - 12:24:21 PM Last modification on : Wednesday, July 6, 2022 - 4:12:03 AM Long-term archiving on: : 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⟩