Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2014

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

Corina Pasareanu
  • Function : Scientific advisor
Gwen Salaün
  • Function : Scientific advisor
  • PersonId : 880331

Abstract

This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).
Fichier principal
Vignette du fichier
preface.pdf (39.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01016471 , version 1 (30-06-2014)

Identifiers

  • HAL Id : hal-01016471 , version 1

Cite

Corina Pasareanu, Gwen Salaün (Dir.). 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⟩
349 View
291 Download

Share

Gmail Facebook Twitter LinkedIn More