Formal Methods for Components and Objects

MLA

Boer, Frank S, et al. Formal Methods for Components and Objects. Springer Berlin Heidelberg, 2009.

APA

Boer, F. S, Bonsangue, M. M, Kanade, T., Madelaine, E., & Kittler, J. (2009). Formal Methods for Components and Objects. Springer Berlin Heidelberg.

Chicago

Boer, Frank S., Marcello M Bonsangue, Takeo Kanade, Eric Madelaine, and Josef Kittler. Formal Methods for Components and Objects. : Springer Berlin Heidelberg, 2009.