Menu

#3 Reflect Event-B structure in code.

1.0
open
None
2013-06-20
2013-06-20
No

Reflect Event-B structure in code. In particular contexts to interfaces, and make the main entry an optional preference.

Discussion

  • Andy Edmunds

    Andy Edmunds - 2013-06-20
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1 +1 @@
    -Reflect Event-B structure in code.
    +Reflect Event-B structure in code. In particular contexts to interfaces, and make the main entry an optional preference.
    
     
  • Andy Edmunds

    Andy Edmunds - 2013-06-20
     

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.