Abstract : This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014
https://hal.inria.fr/hal-01016471
Contributeur : Gwen Salaün
<>
Soumis le : lundi 30 juin 2014 - 12:24:21
Dernière modification le : mercredi 11 avril 2018 - 01:54:13
Document(s) archivé(s) le : mardi 30 septembre 2014 - 15:20:17
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〉
