/eventb-models

Collection of various Event-B models

MIT LicenseMIT

Stargazers