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

by M Leuschel, M Butler
Venue:International Journal on Software Tools for Technology Transfer (STTT