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.
Chicago-viite (17. p.)SpringerLink (Online service), Gwen Salaun, ja 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.
MLA-viite (8. p.)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.