Contributions for Modelling UML State-Charts in B.

Hung Ledang, Jeanine Souquires

Browse the full IFM paper archive.