Theory Release History
From Event-B
Revision as of 11:36, 23 October 2010 by imported>Im06r (→News)
Back to Theory Plug-in.
Follow this page for the latest on the Theory plug-in. The user manual is also provided together with the installation details.
News
25 October 2010 : Theory plug-in v0.5 released.