Synthesizing B Specifications from EB

Frdric Gervais, Marc Frappier, Rgine Laleau

Browse the full IFM paper archive.