Volver a los detalles del artículo Ejecución simbólica: una forma de asegurar la creación de código desde el inicio en la etapa de desarrollo Descargar Descargar PDF