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
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 : Monday, October 23, 2017 - 1:05:53 AM

Identifiers

Collections

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〉

Share

Metrics

Record views

230