X-MAN System Modelling and Verification Through Automated Theorem Proving - Tabbasum, Saher; Dr. Tauseef Ahmad Rana (Islamabad : MCS - NUST, 2017)
Keywords: Software Engineering-X-MAN System Modelling and Verification