Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01272595
Contributor : Wendelin Serwe Connect in order to contact the contributor
Submitted on : Thursday, February 11, 2016 - 10:17:05 AM
Last modification on : Wednesday, July 6, 2022 - 4:15:33 AM

Identifiers

Collections

UGA | CNRS | INRIA | LIG | LIG_MFML_CONVECS | CONVECS | INRIA2 | LIG_SIDCH

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

408

 

Contact                    Legal Notice                    Personal Data