C2Eif - A C to Eiffel translator #1 Post by ikram » Wed, May 01, 2013, 3:41 PM UTC C2Eif - A C to Eiffel translatorse.inf.ethz.ch