@book{526273,
	author = {Rashid, Adnan and Supervisor:Dr Osman Hasan},
	title = {Formalization of transform methods using higher-order-logic theorem proving /},
	publisher = {SEECS - NUST,},
	year = {2019.},
	address = {Islamabad:},
	url = { http://10.250.8.41:8080/xmlui/handle/123456789/26277}
}