The Use of Theories in Code Generation

From Event-B
Revision as of 08:16, 15 May 2012 by imported>Andy (→‎The GUI)
Jump to navigationJump to search

The Theory Plug-in

Translation Rules


caption text
caption text
Figure 1: Translation Rules