Ajad <br/><br/>
Automation driven specification and verification of UML 2.0 sequence diagram 
Ajad 
 - Dr. B.R. A 
 - Jalandhar  Dr. B.R. Ambedkar National Institute of  2014 
 - xii; 60p 
<br/><br/><label>Dewey Class. No.: </label>5.117  / AJ-A