Automatic Refinement for Event-B through Annotated Patterns

2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) ◽

10.1109/pdp.2017.72 ◽

2017 ◽

Author(s):

Badr Siala ◽

Jean-Paul Bodeveix ◽

Mamoun Filali ◽

Mohamed Tahar Bhiri

Download Full-text