Formal Methods for Components and Objects

MLA

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

APA

Boer, F. S, Boer, F. S. de, Bonsangue, M. M, Graf, S., Kanade, T., Roever, W., de Roever, W., & Kittler, J. (2007). 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, and Josef Kittler. Formal Methods for Components and Objects. : Springer Berlin Heidelberg, 2007.