GitHub repository: viklauverk/EventBTool
Primary language: Java
Created: 2021-05-13T08:06:40Z
Description: EVBT - an Event-B tool for code generation and documentation