Cita APA

SpringerLink (Online service), Salaun, G., & Pasareanu, C. S. (2013). Formal aspects of component software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer Berlin Heidelberg.

Citación estilo Chicago

SpringerLink (Online service), Gwen Salaun, and Corina S. Pasareanu. Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Cita MLA

SpringerLink (Online service), et al. Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer Berlin Heidelberg, 2013.