2016-08-162016-08-16https://digital.cic.gba.gob.ar/handle/11746/3643Practical verification strategy for refinement conditions in UML modelsDocumento de conferencia