Difference between revisions of "The Use of Theories in Code Generation"
From Event-B
Jump to navigationJump to searchimported>Andy |
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
