Cita APA (7a ed.)

Beato Gutiérrez, M. E. a., Barrio Solorzano, M. d. d. l. p., & Cuesta Quintero, C. E. d. d. l. p. (2004). Verificación automática del comportamiento activo de UML usando métodos formales.

Cita Chicago Style (17a ed.)

Beato Gutiérrez, María Encarnación. autor, Manuel. director de la publicación Barrio Solorzano, y Carlos E. director de la publicación Cuesta Quintero. Verificación Automática Del Comportamiento Activo De UML Usando Métodos Formales. 2004.

Cita MLA (9a ed.)

Beato Gutiérrez, María Encarnación. autor, et al. Verificación Automática Del Comportamiento Activo De UML Usando Métodos Formales. 2004.