Formal Methods for Components and Objects

MLA

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

APA

Boer, F. S, Bonsangue, M. M, Hallerstede, S., Kanade, T., & Leuschel, M. (2010). Formal Methods for Components and Objects. Springer Berlin Heidelberg.

Chicago

Boer, Frank S., Marcello M Bonsangue, Stefan Hallerstede, Takeo Kanade, and Michael Leuschel. Formal Methods for Components and Objects. : Springer Berlin Heidelberg, 2010.