Towards Transformation from UML to Event-B.

Siyuan Hu, Hong Zhang

Browse the full QRS paper archive.