most citedVersatile Mixed Methods for the Incompressible Navier-Stokes Equations

2 citations · 2 across the 2 of their papers we have counts for

collaborators

1 paper

cs.SE2014

Managing LTL properties in Event-B refinement

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…