Formal Dependability Analysis using Higher-order-logic Theorem Proving - Ahmad, Waqar; Supervisor:Dr. Osman Hasan (Islamabad: SEECS - NUST, 2017)
Hardcover.
Keywords: PhD-Information Technology