SpringerLink (Online service), Fiadeiro, J. L., Liu, Z., & Xue, J. (2014). Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), José Luiz Fiadeiro, Zhiming Liu, και Jinyun Xue. Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Cham: Springer International Publishing : Imprint: Springer, 2014.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Springer International Publishing : Imprint: Springer, 2014.
