Cita APA

Aranda, G. N., Flores, A. P., Buccella, A., & Reynoso, L. A. (2002). Tool support for verifying applications using object-oriented patterns. Web

Citación estilo Chicago

Aranda, Gabriela N., Andrés P. Flores, Agustina Buccella, and Luis A. Reynoso. Tool Support for Verifying Applications Using Object-oriented Patterns. 2002.

Cita MLA

Aranda, Gabriela N., Andrés P. Flores, Agustina Buccella, and Luis A. Reynoso. Tool Support for Verifying Applications Using Object-oriented Patterns. 2002.