APA
Frank S. Boer M. M. B. S. H. M. L., . (2010). Formal Methods for Components and Objects. Germany: Springer.
Chicago
Frank S. Boer Marcello M Bonsangue Stefan Hallerstede Michael Leuschel, . 2010. Formal Methods for Components and Objects. Germany: Springer.
Harvard
Frank S. Boer M. M. B. S. H. M. L., . (2010). Formal Methods for Components and Objects. Germany: Springer.
MLA
Frank S. Boer Marcello M Bonsangue Stefan Hallerstede Michael Leuschel, . Formal Methods for Components and Objects. Germany: Springer. 2010.