%0 Conference Paper %1 conf/tacas/GarbervetskyGN11 %A Garbervetsky, Diego %A Gorín, Daniel %A Neisen, Ariel %B TACAS %D 2011 %E Abdulla, Parosh Aziz %E Leino, K. Rustan M. %I Springer %K dblp %P 65-80 %T Enforcing Structural Invariants Using Dynamic Frames. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2011.html#GarbervetskyGN11 %V 6605 %@ 978-3-642-19834-2

@inproceedings{conf/tacas/GarbervetskyGN11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Garbervetsky, Diego and Gorín, Daniel and Neisen, Ariel}, biburl = {https://www.bibsonomy.org/bibtex/2a5a5c54f6a02707e0610cf0139bc2457/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2011}, editor = {Abdulla, Parosh Aziz and Leino, K. Rustan M.}, ee = {https://doi.org/10.1007/978-3-642-19835-9_8}, interhash = {7a58aeb603eb6a6d96215693c91555f0}, intrahash = {a5a5c54f6a02707e0610cf0139bc2457}, isbn = {978-3-642-19834-2}, keywords = {dblp}, pages = {65-80}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:24.000+0200}, title = {Enforcing Structural Invariants Using Dynamic Frames.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2011.html#GarbervetskyGN11}, volume = 6605, year = 2011 }