Formal Methods for Components and Objects

MLA

Hutchison, David, et al. Formal Methods for Components and Objects. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Bonsangue, M. M, & de Boer, F. S. (2012). Formal Methods for Components and Objects. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Marcello M Bonsangue, and Frank S de Boer. Formal Methods for Components and Objects. : Springer Berlin Heidelberg, 2012.