@inproceedings{TrudelOriolFuriaNordio11, author = {Marco Trudel and Manuel Oriol and Carlo A. Furia and Martin Nordio}, title = {Automated Translation of Java Source Code to Eiffel}, booktitle = {TOOLS-EUROPE}, editor = {Judith Bishop and Antonio Vallecillo}, year = {2011}, series = {Lecture Notes in Computer Science}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/TrudelOriolFuriaNordio11.pdf} }