30 citations · 30 across the 1 of their papers we have counts for
1 paper
Thierry Lecomte, Lilian Burdy, Michael Leuschel
This article presents industrial experience of validating large data sets against specification written using the B / Event-B mathematical language and the ProB model checker.