APA
Bernhard K. Aichernig F. S. B. M. M. B., . (2012). Formal Methods for Components and Objects. Germany: Springer.
Chicago
Bernhard K. Aichernig Frank S Boer Marcello M Bonsangue, . 2012. Formal Methods for Components and Objects. Germany: Springer.
Harvard
Bernhard K. Aichernig F. S. B. M. M. B., . (2012). Formal Methods for Components and Objects. Germany: Springer.
MLA
Bernhard K. Aichernig Frank S Boer Marcello M Bonsangue, . Formal Methods for Components and Objects. Germany: Springer. 2012.