6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
David Deharbe, Bruno E. G. Gomes, Anamaria M. Moreira
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive…