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. In Maria Lencastre, João Falcão e Cunha, Antonio Valecillo, editors, Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008. pages 375-379, 2008.

@inproceedings{RiveraM08,
  title = {Subtipado de Modelos: Una Definición Basada en la Sustitución entre Tipos y en la Aplicabilidad de Operaciones},
  author = {José Eduardo Rivera and Nathalie Moreno},
  year = {2008},
  researchr = {https://researchr.org/publication/RiveraM08},
  cites = {0},
  citedby = {0},
  pages = {375-379},
  booktitle = {Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008},
  editor = {Maria Lencastre and João Falcão e Cunha and Antonio Valecillo},
}