Aranda, Gabriela Noemí <br/><br/>
Tool support for verifying applications using object-oriented patterns 

 - p. 253-257 
<br/><br/><label>Standard No.: </label>DIF004792