FACS Niterói & Braga, C. (2016). Formal aspects of component software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers. Springer International Publishing. https://doi.org/10.1007/978-3-319-28934-2
Chicago Style (17th ed.) CitationFACS Niterói and Christiano Braga. Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : Revised Selected Papers. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-28934-2.
MLA (9th ed.) CitationFACS Niterói and Christiano Braga. Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : Revised Selected Papers. Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-28934-2.