Reducing the Number of Annotations in a Verification-oriented Imperative Language

CORR, Volume abs/1011.3407 - 2010

BibTex references

@Article\{DGG10,
  author       = "de Caso, Guido and Garbervetsky, Diego and Gor\'{\i}n, Daniel",
  title        = "Reducing the Number of Annotations in a Verification-oriented Imperative Language",
  journal      = "CORR",
  volume       = "abs/1011.3407",
  year         = "2010",
  url          = "http://publicaciones.dc.uba.ar/Publications/2010/DGG10"
}

Other publications in the database

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