APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.