Review Tasking Event-B to Event-B translation.

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#10 Review Tasking Event-B to Event-B translation.

Milestone: 1.0

Status: open

Owner: Andy Edmunds

Labels: None

Updated: 2013-06-21

Created: 2013-06-21

Private: No

Review of Tasking Event-B to Event-B translation. This may have some problems due to changes in other tools, so needs to be tested.