Formal Aspects of Component Software

MLA

Proença, and Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2017.

APA

Proença, P., & Lumpe, M. (2017). Formal Aspects of Component Software. Springer International Publishing.

Chicago

Proença, and Markus Lumpe. Formal Aspects of Component Software. : Springer International Publishing, 2017.