APA (7th ed.) Citation

Diosa, H. A. (2010). Especificación formal de arquitecturas de software basadas en componentes: Chequeo de corrección con cálculo−Parq. Universidad Distrital Francisco José de Caldas.

Chicago Style (17th ed.) Citation

Diosa, Henry Alberto. Especificación Formal De Arquitecturas De Software Basadas En Componentes: Chequeo De Corrección Con Cálculo−Parq. Universidad Distrital Francisco José de Caldas, 2010.

MLA (9th ed.) Citation

Diosa, Henry Alberto. Especificación Formal De Arquitecturas De Software Basadas En Componentes: Chequeo De Corrección Con Cálculo−Parq. Universidad Distrital Francisco José de Caldas, 2010.