Enabling analysis for Event-B
Article in Science of Computer Programming (June 2018)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (June 2018)
Article in Journal of Intelligent Information Systems (July 2017)
Conference proceeding (May 2016)