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

by Michael Leuschel , Michael Butler
Venue:SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:20 - 8 self