Formal reasoning about molecular pathways in higher order logic - Sohaib Ahmad (Islamabad NUST-SEECS, 2014)
Supervisors: Dr. Osman Hasan Dr. Awais Kamboh Dr. Rehan Hafiz Dr. Murtaza Khan