SpringerLink (Online service), Barbosa, L. S., & Lumpe, M. (2012). Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Luís Soares Barbosa, and Markus Lumpe. Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2012.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer, 2012.