Deriving Event-B Models from Mealy Machines: Application to an Auction System.

J. Christian Attiogb

Browse the full MEDI paper archive.