ArticleIET systems biology2020

Formal reasoning about synthetic biology using higher-order-logic theorem proving.

Sa'ed Abed et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.