ProB: An Automated Analysis Toolset for the B Method (2007)

by Michael Leuschel , Michael Butler
Venue:SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:11 - 3 self