@inproceedings{TschannenFuriaNordioMeyerBOOGIE11, author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Verifying {E}iffel programs with {B}oogie}, booktitle = {BOOGIE workshop}, note = {\url{http://arxiv.org/abs/1106.4700}}, year = {2011}, urltopdf = {http://se.inf.ethz.ch/people/tschannen/publications/TschannenBOOGIE11.pdf}, }