Bonsangue, M. M., Graf, S., & de Roever, W. (2008). Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (1st ed. 2008.). Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationBonsangue, Marcello M., Susanne Graf, and Willem-Paul de Roever. Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
MLA CitationBonsangue, Marcello M., Susanne Graf, and Willem-Paul de Roever. Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.