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
NASA Ames Research Center
Gwen Salaün
  • Function : Scientific advisor
  • PersonId : 880331
Construction of verified concurrent systems

Abstract

This issue contains extended versions of selected papers from the 9th International Symposium on Formal Aspects of Component Software (FACS'12).

Domains

Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
preface.pdf (39.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Gwen Salaün  : Connect in order to contact the contributor

https://inria.hal.science/hal-01016471

Submitted on : Monday, June 30, 2014-12:24:21 PM

Last modification on : Thursday, April 4, 2024-9:15:56 PM

Long-term archiving on: Tuesday, September 30, 2014-3:20:17 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
351 View
296 Download

Share

Gmail Facebook X LinkedIn More