D45 Code Generation

From Event-B
Revision as of 13:18, 7 November 2011 by imported>Tommy
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Overview

TODO An overview of the work done about code generation.

Motivations

TODO To be completed.

Choices / Decisions

TODO To be completed.

Available Documentation

TODO To be completed.

Status

TODO To be completed.

Retrieved from ‘https://wiki.event-b.org/index.php?title=D45_Code_Generation&oldid=2693’