Formal Aspects of Component Software

MLA

Hutchison, David, Takeo Kanade, and Gwen Salaün. Formal Aspects of Component Software. Springer Berlin Heidelberg, 2013.

APA

Hutchison, D., Kanade, T., & Salaün, G. (2013). Formal Aspects of Component Software. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, and Gwen Salaün. Formal Aspects of Component Software. : Springer Berlin Heidelberg, 2013.