3 citations · 3 across the 1 of their papers we have counts for
1 paper
Pontus Boström, Fredrik Degerlund, Kaisa Sere +1
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that…