Reducing the number of annotations in a verification-oriented imperative language

Proceedings of Automatic Program Verification 2009 - - 2009
Download the publication : apv09.pdf [461Ko]  

BibTex references

@InProceedings\{DGG09,
  author       = "de Caso, Guido and Gor\'{\i}n, Daniel and Garbervetsky, Diego",
  title        = "Reducing the number of annotations in a verification-oriented imperative language",
  booktitle    = "Proceedings of Automatic Program Verification 2009 -",
  year         = "2009",
  url          = "http://publicaciones.dc.uba.ar/Publications/2009/DGG09"
}

Other publications in the database

» Guido de Caso
» Daniel Gorín
» Diego Garbervetsky