Formal Aspects of Component Software
MLA
Lanese, and Eric Madelaine. Formal Aspects of Component Software. Springer International Publishing, 2015.
APA
Lanese, L., & Madelaine, E. (2015). Formal Aspects of Component Software. Springer International Publishing.
Chicago
Lanese, and Eric Madelaine. Formal Aspects of Component Software. : Springer International Publishing, 2015.