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"> |