Automatic refinement checking for B (2005)

by Michael Leuschel, Michael Butler
Venue:Proceedings ICFEM’05, LNCS 3785