EB4EB: A Framework for Reflexive Event-B

Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur. EB4EB: A Framework for Reflexive Event-B. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 71-80, IEEE, 2022. [doi]

Abstract

Abstract is missing.