Volver a los detalles del artículo
Una propuesta para la formalización del diagrama de clases en el lenguaje Maude