APA
Bernhard Beckert F. D. F. S. B. M. M. B., . (2013). Formal Methods for Components and Objects. Germany: Springer.
Chicago
Bernhard Beckert Ferruccio Damiani Frank S Boer Marcello M Bonsangue, . 2013. Formal Methods for Components and Objects. Germany: Springer.
Harvard
Bernhard Beckert F. D. F. S. B. M. M. B., . (2013). Formal Methods for Components and Objects. Germany: Springer.
MLA
Bernhard Beckert Ferruccio Damiani Frank S Boer Marcello M Bonsangue, . Formal Methods for Components and Objects. Germany: Springer. 2013.