SpringerLink (Online service), Boer, F. S., Bonsangue, M., Graf, S., & de Roever, W. (2003). Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (1st ed. 2003.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b14033
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Frank S.de Boer, Marcello Bonsangue, Susanne Graf, και Willem-Paul de Roever. Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b14033.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. 1st ed. 2003. Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b14033.
