SpringerLink (Online service), de Boer, F. S., Bonsangue, M. M., Graf, S., & de Roever, W. (2005). Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (1st ed. 2005.). Springer Berlin Heidelberg : Imprint: Springer.
Style de citation Chicago (17e éd.)SpringerLink (Online service), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, et Willem-Paul de Roever. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures. 1st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2005.
Style de citation MLA (8e éd.)SpringerLink (Online service), et al. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures. 1st ed. 2005. Springer Berlin Heidelberg : Imprint: Springer, 2005.