@inproceedings{EisenbachEA04, title = {Formal Techniques for {J}ava-like Programs}, year = {2004}, author = {Eisenbach, S. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A. and Poll, E.}, booktitle = {Object-Oriented Technology. {ECOOP}'03 Workshop Reader}, pages = {62--71}, editor = {F. Buschmann and A. P. Buchmann and M. Cilia}, volume = {3013}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, urltopdf = {http://www.springerlink.com/content/l226650126t073u0/} }