DMCA

Automatic refinement checking for B (2005)

by Michael Leuschel , Michael Butler
Venue:Proceedings ICFEM’05, LNCS 3785
Citations:17 - 8 self