1 citations · 1 across the 1 of their papers we have counts for
1 paper
T. S. Hoang, L. Voisin, A. Salehi +3
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous versio…