Oviedo, Juan <br/><br/>
The B Method as an environment for the verification of Eiffel programs :  A case study 

<br/><br/><label>Standard No.: </label>DIF-M4252