Automated Abstractions for Contract Validation

Transactions on Software Engineering, Volume 38, Number 1, page 141--162 - 2012
Download the publication : 05639021.pdf [415Ko]  

BibTex references

@Article\{DBGU12a,
  author       = "de Caso, Guido and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Automated Abstractions for Contract Validation",
  journal      = "Transactions on Software Engineering",
  number       = "1",
  volume       = "38",
  pages        = "141--162",
  year         = "2012",
  publisher    = "IEEE",
  url          = "http://publicaciones.dc.uba.ar/Publications/2012/DBGU12a"
}

Other publications in the database

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