APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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