Core Hybrid Event-B I: Single Hybrid Event-B machines

Richard Banach, Michael Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu

SCEDT School Executive Team

Research output: Contribution to journal › Article › peer-review

181 Downloads (Pure)

1 results
- Last Name(descending)

Shengchao Qin
- Centre for Digital Innovation
Person: Professorial