%0 Conference Paper %1 conf/ecoop/LeinoM04 %A Leino, K. Rustan M. %A Müller, Peter %B ECOOP %D 2004 %E Odersky, Martin %I Springer %K dblp %P 491-516 %T Object Invariants in Dynamic Contexts. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2004.html#LeinoM04 %V 3086 %@ 3-540-22159-X

@inproceedings{conf/ecoop/LeinoM04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Müller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/290e73a44c32ab2cb5f50c1bf5d8ea015/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2004}, editor = {Odersky, Martin}, ee = {https://doi.org/10.1007/978-3-540-24851-4_22}, interhash = {b72558a8304270090d62bd362f813d25}, intrahash = {90e73a44c32ab2cb5f50c1bf5d8ea015}, isbn = {3-540-22159-X}, keywords = {dblp}, pages = {491-516}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:46:57.000+0200}, title = {Object Invariants in Dynamic Contexts.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2004.html#LeinoM04}, volume = 3086, year = 2004 }