Formal Methods for Components and Objects

MLA

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

APA

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

Chicago

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