Contractor for Code Validation

Technical Report , Departamento de Computación, Universidad de Buenos Aires - aug 2010
Download the publication : Contractor for Code Validation.pdf [510Ko]  

BibTex references

@TechReport\{DBGU10a,
  author       = "de Caso, Guido and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Contractor for Code Validation",
  institution  = "Departamento de Computaci\'on, Universidad de Buenos Aires",
  month        = "aug",
  year         = "2010",
  url          = "http://publicaciones.dc.uba.ar/Publications/2010/DBGU10a"
}

Other publications in the database

» Guido de Caso
» Víctor Braberman
» Diego Garbervetsky
» Sebastian Uchitel