Formal reasoning about systems biology using theorem proving

• Adnan Rashid ,

  * E-mail: adnan.rashid@seecs.edu.pk

  Affiliation School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan

  http://orcid.org/0000-0002-9729-584X

  ⨯
• Osman Hasan,

  Affiliation School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan

  ⨯
• Umair Siddique,

  Affiliation Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada

  ⨯
• Sofiène Tahar

  Affiliation Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada

  ⨯