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).
Document type :
Directions of work or proceedings
Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01016471
Contributor : Gwen Salaün <>
Submitted on : Monday, June 30, 2014 - 12:24:21 PM
Last modification on : Monday, October 23, 2017 - 1:05:53 AM
Document(s) archivé(s) le : Tuesday, September 30, 2014 - 3:20:17 PM

File

preface.pdf
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

690

Document downloads

213