Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)

Corina Pasareanu 1 Gwen Salaün 2
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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
Liste complète des métadonnées

https://hal.inria.fr/hal-01016471
Contributeur : Gwen Salaün <>
Soumis le : lundi 30 juin 2014 - 12:24:21
Dernière modification le : jeudi 11 janvier 2018 - 06:23:43
Document(s) archivé(s) le : mardi 30 septembre 2014 - 15:20:17

Fichier

preface.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01016471, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

694

Téléchargements de fichiers

218