On Verifying Resource Contracts using Code Contracts

Rodrigo Castaņo, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi
Proceedings First Latin American Workshop on Formal Methods, page 1-15 - 2013
Download the publication : castano-lafm-2013.pdf [389Ko]  

BibTex references

@InProceedings\{CGGTZ13,
  author       = "Casta\~{n}o, Rodrigo and Galeotti, Juan Pablo and Garbervetsky, Diego and Tapicer, Jonathan and Zoppi, Edgardo",
  title        = "On Verifying Resource Contracts using Code Contracts",
  booktitle    = "Proceedings First Latin American Workshop on Formal Methods",
  pages        = "1-15",
  year         = "2013",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/CGGTZ13"
}

Other publications in the database

» Rodrigo Castaņo
» Juan Pablo Galeotti
» Diego Garbervetsky
» Jonathan Tapicer
» Edgardo Zoppi