DMCA

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

by Michael Leuschel , Michael Butler
Venue:SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:40 - 12 self