Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012)

Gwen Salaün 1 Corina Pasareanu 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 ARC - NASA Ames Research Center
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Liste complète des métadonnées
https://hal.inria.fr/hal-01272595
Contributeur : Wendelin Serwe <>
Soumis le : jeudi 11 février 2016 - 10:17:05
Dernière modification le : samedi 15 décembre 2018 - 01:50:05

Lien texte intégral

openaccess

Identifiants

Collections

LIG | INRIA | CONVECS | UGA | LIG_MFML_CONVECS

Citation

Gwen Salaün, Corina Pasareanu. Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012). France. 2013, 〈10.1007/978-3-642-35861-6〉. 〈hal-01272595〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

530

Contact


archive-ouverte@inria.fr