Sciweavers

FMICS
2009
Springer

Visualising Event-B Models with B-Motion Studio

14 years 7 months ago
Visualising Event-B Models with B-Motion Studio
Lukas Ladenberger, Jens Bendisposto, Michael Leusc
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMICS
Authors Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
Comments (0)