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

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

Research output: Contribution to journalArticlepeer-review

84 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Core Hybrid Event-B I: Single Hybrid Event-B machines'. Together they form a unique fingerprint.

Engineering & Materials Science