Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones.

José Eduardo Rivera Nathalie Moreno Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones. 375-379 2008 CIbSE conf/cibse/2008 db/conf/cibse/cibse2008.html#RiveraM08