Formal Methods for Components and Objects

MLA

Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M, et al. Formal Methods for Components and Objects. Springer Berlin Heidelberg, 2013.

APA

Giachino, M. M, Bonsangue, M. M, de Boer, F. S, & Hähnle, R. (2013). Formal Methods for Components and Objects. Springer Berlin Heidelberg.

Chicago

Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M., Marcello M Bonsangue, Frank S de Boer, and Reiner Hähnle. Formal Methods for Components and Objects. : Springer Berlin Heidelberg, 2013.