@inproceedings{DarvasMueller05, author = {Darvas, \'A. and M\"uller, P.}, title = {Reasoning {A}bout {M}ethod {C}alls in {JML} {S}pecifications}, booktitle = {Formal Techniques for {J}ava-like Programs}, year = {2005}, urltopdf = {http://people.inf.ethz.ch/lehnerh/pm/publications/getpdf.php?bibname=Own&id=DarvasMueller05.pdf} }