Trace Refinement in B and Event-B.

Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed

Browse the full ICFEM paper archive.