Core Hybrid Event-B I: Single Hybrid Event-B machines
Richard Banach, Michael Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
Research output: Contribution to journal › Article › peer-review
84
Downloads
(Pure)