TY  - GEN
AU  - Oviedo,Juan
TI  - The B Method as an environment for the verification of Eiffel programs: A case study
ER  -