ProB: A Model Checker for B. In: (2005)

by M Leuschel, M Butler
Venue:Proc. FME’03, LNCS 2805,