Translating Statecharts to B.

Emil Sekerinski, Rafik Zurob

Browse the full IFM paper archive.