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.
Log in to post a comment.
