D45 Code Generation

From Event-B
Revision as of 17:02, 7 November 2011 by imported>Tommy
Jump to navigationJump to search

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=2694’