Validation of Contracts using Enabledness Preserving Finite State Abstractions

31st IEEE/ACM International Conference on Software Engineering (ICSE), page 452--462 - may 2009
Download the publication : ICSE0130.PDF [214Ko]  

BibTex references

@InProceedings\{DBGU09,
  author       = "de Caso, Guido and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Validation of Contracts using Enabledness Preserving Finite State Abstractions",
  booktitle    = "31st IEEE/ACM International Conference on Software Engineering (ICSE)",
  pages        = "452--462",
  month        = "may",
  year         = "2009",
  publisher    = "ACM-IEEE",
  organization = "ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2009/DBGU09"
}

Other publications in the database

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