ProB: an automated analysis toolset for the B method (0)

by M Leuschel, M Butler
Venue:Int. J. Softw. Tools Technol. Transf