Formalization of transform methods using higher-order-logic theorem proving - Rashid, Adnan; Supervisor:Dr Osman Hasan (Islamabad: SEECS - NUST, 2019)
Keywords: Dr. Osman Hasan; PhD Thesis-Information Technology