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)

Search results