Volver a los detalles del artículo Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq Descargar Descargar PDF