Systematic Translation Rules from astd to Event-B.

Jrmy Milhau, Marc Frappier, Frdric Gervais, Rgine Laleau

Browse the full IFM paper archive.