Proença, J., & Lumpe, M. (2020). Formal Aspects of Component Software. Springer International Publishing.
Παραπομπή Chicago StyleProença, José, και Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.
Παραπομπή MLAProença, José, και Markus Lumpe. Formal Aspects of Component Software. Springer International Publishing, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.