Formal Methods for Components and Objects

MLA

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

APA

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

Chicago

Hutchison, David, Frank S. de Boer, Takeo Kanade, Frank S de Boer, Willem-Paul de Roever, Susanne Graf, and Marcello M Bonsangue. Formal Methods for Components and Objects. : Springer Berlin / Heidelberg, 2005.