Formal reasoning about systems biology using theorem proving

Publication
PloS one