@InProceedings{LeinoMueller04, author = {Leino, K. R. M. and M\"uller, P.}, title = {Object Invariants in Dynamic Contexts}, booktitle = {European Conference on Object-Oriented Programming (ECOOP)}, year = {2004}, editor = {Odersky, M.}, series = {Lecture Notes in Computer Science}, volume = {3086}, publisher = {Springer-Verlag}, pages = "491--516", url = {http://www.springerlink.com/content/ttfnjg36yq64pah8/?p=c1c47aec087e414fba8346690ac50a98π=0}, urltext = {[Publisher]} }