Menu

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

1.0
open
None
2013-06-21
2013-06-21
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.

Discussion


Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.