Novaira, María Marta <br/><br/>
Hacia la validación de arquitecturas de software usando Alloy 

 - p. 243-247 
<br/><br/><label>Standard No.: </label>DIF004395