TY  - BOOK
AU  - Tabbasum, Saher
AU  - Dr. Tauseef Ahmad Rana
TI  - X-MAN System Modelling and Verification Through Automated Theorem Proving
U1  - 004 
PY  - 2017///
CY  - Islamabad
PB  - MCS - NUST
KW  - Software Engineering-X-MAN System Modelling and Verification
ER  -