State Machines and Code Generation

From Event-B
Jump to navigationJump to search

TODO - a description of state-machine code generation