Developing the UML-B Modelling Tools.

Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym

Browse the full SEFM paper archive.