5 citations · 8 across the 6 of their papers we have counts for
1 paper · 2 filters
Néstor Cataño, Camilo Rueda, Tim Wahls
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B e…