Formal Methods for Components and Objects

MLA

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

APA

Boer, F. S, Boer, F. S. de, Bonsangue, M. M, Graf, S., Kanade, T., Roever, W., de Roever, W., Kittler, J., & Roever, W. de. (2008). Formal Methods for Components and Objects. Springer Berlin Heidelberg.

Chicago

Boer, Frank S., Frank S. de Boer, Marcello M Bonsangue, Susanne Graf, Takeo Kanade, Willem-Paul Roever, Willem-Paul de Roever, Josef Kittler, and Willem-Paul de Roever. Formal Methods for Components and Objects. : Springer Berlin Heidelberg, 2008.