TY  - BOOK
AU  - Ajad
TI  -  Automation driven specification and verification of UML 2.0 sequence diagram
U1  - 5.117 
PY  - 2014///
CY  - Jalandhar
PB  - Dr. B.R. Ambedkar National Institute of
ER  -