TY  - RPRT
TI  - Verifying Eiffel Programs with Boogie
AU  - Julian Tschannen
AU  - Carlo A. Furia
AU  - Martin Nordio
AU  - Bertrand Meyer
PY  - 2011
UR  - https://arxiv.org/abs/1106.4700
ID  - 1106.4700
ER  -