1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…