Formal Aspects of Component Software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2013

Formal Aspects of Component Software

Gwen Salaün
  • Function : Scientific advisor
  • PersonId : 880331
Construction of verified concurrent systems
Corina Pasareanu
  • Function : Scientific advisor
NASA Ames Research Center

Domains

Software Engineering [cs.SE] Formal Languages and Automata Theory [cs.FL] Logic in Computer Science [cs.LO]

Wendelin Serwe  : Connect in order to contact the contributor

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

Submitted on : Thursday, February 11, 2016-10:17:05 AM

Last modification on : Thursday, April 4, 2024-9:05:26 PM

No file

Dates and versions

hal-01272595 , version 1 (11-02-2016)

Identifiers

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH
412 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More