Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri. Automatic Refinement for Event-B through Annotated Patterns. In Igor V. Kotenko, Yiannis Cotronis, Masoud Daneshtalab, editors, 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017. pages 287-290, IEEE, 2017. [doi]
Abstract is missing.