11 citations · 33 across the 11 of their papers we have counts for
1 paper · 1 filter
Steve Schneider, Helen Treharne, Heike Wehrheim +1
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but addi…