Formal Aspects of Component Software

Gwen Salaün; Corina Pasareanu

doi:10.1007/978-3-642-35861-6

Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012)

Gwen Salaün ¹ Corina Pasareanu ²

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

France. 2013, 〈10.1007/978-3-642-35861-6〉

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Computer Science [cs] / Logic in Computer Science [cs.LO]

Liste complète des métadonnées

https://hal.inria.fr/hal-01272595
Contributor : Wendelin Serwe <>
Submitted on : Thursday, February 11, 2016 - 10:17:05 AM
Last modification on : Wednesday, April 11, 2018 - 1:54:29 AM

Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012)

Links full text

Identifiers

Collections

Citation

Export

Metrics

356

Contact

Formal Aspects of Component Software: Proceedings of the 9th International Symposium on Formal Aspects of Component Software (FACS 2012)

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

356

Contact