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

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