11 citations · 11 across the 1 of their papers we have counts for
1 paper
Steve Schneider, Helen Treharne, Heike Wehrheim
Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-b…