@inproceedings{LeinoMueller05, author = {Leino, K. R. M. and M\"uller, P.}, title = {Modular verification of static class invariants}, booktitle = {Formal Methods (FM)}, editor = {Fitzgerald, J. and Hayes, I. and Tarlecki, A.}, series = {Lecture Notes in Computer Science}, volume = {3582}, pages = {26--42}, year = {2005}, publisher = {Springer-Verlag}, urltopdf = {http://people.inf.ethz.ch/lehnerh/pm/publications/getpdf.php?bibname=Own&id=LeinoMueller05.pdf} }