Bonsangue, M.M., Graf, S. and de Roever, W.-P. (eds.) (2008) “Formal Methods for Components and Objects : 6 th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures”, Programming and Software Engineering. 1 st ed. 2008 st ed. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-92188-2.

Bonsangue, Marcello M, Susanne Graf, and Willem-Paul de Roever, eds. “Formal Methods for Components and Objects : 6 th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures”. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-92188-2.

Bonsangue, M. M., Graf, S., … de Roever, W.-P. (eds.). (ca. 2008). Formal Methods for Components and Objects : 6 th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures [Cd]. In Programming and Software Engineering (1 st ed. 2008 st ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-92188-2

Bonsangue, M. M., S. Graf, and W.-P. de Roever, editors. “Formal Methods for Components and Objects : 6 th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures”. Programming and Software Engineering, 1 st ed. 2008 st ed., cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-92188-2.

BONSANGUE, Marcello M, Susanne GRAF and Willem-Paul DE ROEVER (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540921882