APA
Frank S. Boer M. M. B. S. G. W. R., . (2007). Formal Methods for Components and Objects. Germany: Springer.
Chicago
Frank S. Boer Marcello M Bonsangue Susanne Graf Willem-Paul Roever, . 2007. Formal Methods for Components and Objects. Germany: Springer.
Harvard
Frank S. Boer M. M. B. S. G. W. R., . (2007). Formal Methods for Components and Objects. Germany: Springer.
MLA
Frank S. Boer Marcello M Bonsangue Susanne Graf Willem-Paul Roever, . Formal Methods for Components and Objects. Germany: Springer. 2007.