Towards Scalable Modeling of Biology in Event-B

Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre

Research output: Other contribution

Fingerprint

Dive into the research topics of 'Towards Scalable Modeling of Biology in Event-B'. Together they form a unique fingerprint.

Computer Science