Visualising Event-B Models with B-Motion Studio.

Lukas Ladenberger, Jens Bendisposto, Michael Leuschel

Browse the full FMICS paper archive.