Formal reasoning about systems biology using theorem proving

Adnan Rashid, Osman Hasan, Umair Siddique, Sofiéne Tahar
January 2017
PDF
Type
Journal article
Publication
PloS one