BOER, Frank S, BONSANGUE, Marcello M, GRAF, Susanne und ROEVER, Willem-Paul, 2003. Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. [cd]. 2003. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2852. ISBN 9783540396567.
Elsevier - Harvard (with titles)Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P., 2003. Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/b14033
American Psychological Association 7th editionBoer, F. S., Bonsangue, M. M., Graf, S., & Roever, W.-P. (ca. 2003). Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/b14033
Springer - Basic (author-date)Boer FS, Bonsangue MM, Graf S, Roever W-P (2003) Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Boer, Frank S/ Bonsangue, Marcello M/ Graf, Susanne/ Roever, Willem-Paul, Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, Lecture Notes in Computer Science 2003, .