Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
Formal reasoning about systems biology using theorem proving
Adnan Rashid
,
Osman Hasan
,
Umair Siddique
,
SofiƩne Tahar
January 2017
PDF
Cite
Type
Journal article
Publication
PloS one
Cite
×