@book{13010,
	author = {Syeda Hira Taqdees},
	title = {Formalization of laplace transform using the multivariable calculus theory of HOL-Light},
	publisher = {NUST-SEECS},
	year = {2013},
	address = {Islamabad},
	note = {Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/8811}
}