Sara-Jane Dunn, Boyan Yordanov. Automated Reasoning for the Synthesis and Analysis of Biological Programs. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 37-62, Springer, 2019. [doi]
Abstract is missing.