The Use of Theories in Code Generation: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Andy No edit summary |
imported>Andy |
||
| Line 1: | Line 1: | ||
== The Theory Plug-in == | == The Theory Plug-in == | ||
=== | === Translation Rules=== | ||
<div id="fig:Translation Rules"> | <div id="fig:Translation Rules"> | ||
Revision as of 08:16, 15 May 2012
The Theory Plug-in
Translation Rules
