Enforcing Structural Invariants using Dynamic Frames

International Conference on Tools and Algorithms for The Construction and Analysis of Systems (TACAS 2011), page 65--80 - 2011
Download the publication : paper.pdf [426Ko]  

BibTex references

@InProceedings\{GGN11,
  author       = "Garbervetsky, Diego and Gor\'{\i}n, Daniel and Neisen, Ariel",
  title        = "Enforcing Structural Invariants using Dynamic Frames",
  booktitle    = "International Conference on Tools and Algorithms for The Construction and Analysis of Systems (TACAS 2011)",
  series       = "Lecture Notes in Computer Science",
  pages        = "65--80",
  year         = "2011",
  editor       = "Parosh Abdulla  and Rustan Leino",
  publisher    = "Springer",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/GGN11"
}

Other publications in the database

» Diego Garbervetsky
» Daniel Gorín