Towards Scalable Modeling of Biology in Event-B. (arXiv:2105.10344v1 [q-bio.MN]) http://arxiv.org/abs/2105.10344
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
