EventB2SQL Code
Generate Java and PHP database apps from abstract Event-B models.
Status: Beta
Brought to you by:
wahlst
File | Date | Author | Commit |
---|---|---|---|
EventB2SQL_plugin_jar | 2015-11-20 |
![]() |
[ab8b12] initial commit of jar project |
EventB2SQL_plugin_local | 2016-04-07 |
![]() |
[855da5] Printing subsets of carrier sets |