Formalization of laplace transform using the multivariable calculus theory of HOL-Light - Syeda Hira Taqdees (Islamabad NUST-SEECS, 2013)
Supervisors: Dr. Osman Hasan, Dr. Awais Mehmood Kamboh, Dr. Ammar Hasan, Dr. Rehan Hafiz